🍊
Evolving
Stars
2
stars
written in Haskell
Clear filter
Agda is a dependently typed programming language / interactive theorem prover.