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.9 HaskellAgda is a dependently typed programming language / interactive theorem prover. -
parameterized-utils
9.1 7.3 HaskellA set of utilities for using indexed types including containers, equality, and comparison. -
agda-snippets
3.8 0.0 HaskellLibrary and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.