rewbert / type-level-sets Goto Github PK
View Code? Open in Web Editor NEWThis project forked from dorchard/type-level-sets
Type-level sets for Haskell (with value-level counterparts and various operations)
License: BSD 2-Clause "Simplified" License