Agda is a dependently typed programming language / interactive theorem prover.
- dependent-types
- programming-language
- proof-assistant
- agda
Repository Index
87,075 visible repositories in the index
1–2 of 2 · Most stars
Research language for array processing in the Haskell/ML family