jamesmckinna's repositories
agda
Agda is a dependently typed programming language / interactive theorem prover.
Language:HaskellNOASSERTION000
agda-stdlib
The Agda standard library
Language:AgdaNOASSERTION000
Agda is a dependently typed programming language / interactive theorem prover.
The Agda standard library