This topic was moved by Théo Zimmermann to #Miscellaneous > Learning category theory as a programmer
Last updated: Oct 13 2024 at 01:02 UTC