Selected Tags
Click on a tag to remove itMore Tags
Click on a tag to add it and filter downData Structures packages
Showing projects tagged as Dependent Types and Data Structures
-
Agda
10.0 9.8 HaskellAgda is a dependently typed programming language / interactive theorem prover. -
parameterized-utils
9.1 6.1 HaskellA set of utilities for using indexed types including containers, equality, and comparison. -
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.