Zulip Chat Archive
Stream: maths
Topic: Why types all the way up but not all the way down?
Notification Bot (Jun 19 2024 at 07:45):
This topic was moved to #new members > Why types all the way up but not all the way down? by Johan Commelin.
Last updated: May 02 2025 at 03:31 UTC