Zulip Chat Archive
Stream: general
Topic: Empty variable declarations
Yaël Dillies (Jun 27 2022 at 13:22):
Today in things I wasn't expecting to work:
variables ( : ℕ)
Arthur Paulino (Jun 27 2022 at 13:26):
I dare you type error on that one
Last updated: Dec 20 2023 at 11:08 UTC