type level sets
Haskell
67
53 commits
updated Nov 19, 2019
48 commits
2 commits
1 commits
isovector/thinking-with-types
π source material for Thinking with Types
497
IFeelBloated/Type-System-Zoo
132
AndrasKovacs/sett
Setoid type theory implementation
41
diagrams/diagrams-core
Core types and utilities
98
jasnell/proposal-istypes
TC-39 Proposal for additional is{Type} APIs
201
awodey/CatLogNotes
Categorical Logic Notes
81
dtolnay/colorous
Color schemes for charts and maps
238
NickCao/flakes
the deterministic
94
100.0%
