| | Category Theory Library for Agda (github.com/agda) |
|
3 points by presheaf on Nov 30, 2022 | past
|
|
| | Agda2hs: Verified and readable Haskell code from Agda (github.com/agda) |
|
5 points by nequo on Nov 9, 2022 | past
|
|
| | Integer overflow causes Russel's paradox (github.com/agda) |
|
1 point by juxtapose on Dec 23, 2021 | past
|
|
| | Agda 2.4.2 (github.com/agda) |
|
5 points by lelf on Sept 10, 2014 | past
|
|
