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: May 02 2025 at 03:31 UTC