Type System packages
Showing projects tagged as Data Structures and Type System
-
type-level-sets
8.8 0.0 HaskellType-level sets for Haskell (with value-level counterparts and various operations)
Showing projects tagged as Data Structures and Type System