Selected Tags
Click on a tag to remove itMore Tags
Click on a tag to add it and filter downAgda packages
Showing projects tagged as 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. -
agda-snippets-hakyll
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.