Agda packages
Showing projects tagged as Data Structures, Dependent Types, and Agda
-
Agda
10.0 9.8 HaskellAgda is a dependently typed programming language / interactive theorem prover. -
agda-snippets
4.4 0.0 HaskellLibrary and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.