Post #2775972
2026-05-12 20:05 UTC
@jeanas@mathstodon.xyz @totbwf@types.pl probably completely intractable unless we get rid of like half of Agda's induction features, i'm guessing
Replies (1)
-
@jonmsterling@mathstodon.xyz 2026-05-12 20:36
@ncf@types.pl @jeanas@mathstodon.xyz @totbwf@types.pl No time like the present ;-)