Post #2735446
2026-04-25 19:22 UTC
@MartinEscardo@mathstodon.xyz It's now publicly available from http://ozark.hendrix.edu/~yorgey/pub/FTA.agda .
Replies (1)
-
@alp@mathstodon.xyz 2026-04-27 08:56
@byorgey@mathstodon.xyz Interesting that your Agda code is considered dangerous...