Post #1330051
2026-04-07 20:01 UTC
@MartinEscardo @AndrasKovacs This so amazing… @amy
Great work all around!
Replies (1)
-
@MartinEscardo@mathstodon.xyz 2026-04-07 20:10
Also, even in a Mac M4, the current version of Agda, 2.8.0, takes 6m30s, which is more than the 4m30s in the 2012 machine! @jonmsterling @AndrasKovacs @amy