agda / agda

Agda is a dependently typed programming language / interactive theorem prover.

Krihelimeter Krihelimeter 160 160

GitHub Haskell Get Krihelimeter badge
0
Authors
0
Commits
8
Merged Pull Requests
3
Proposed Pull Requests
3
Closed Issues
6
New Issues