Post #1330052

2026-04-07 20:10 UTC

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

Replies (0)

No replies.