GitHub topics: structured-types
UniMath/agda-unimath
The agda-unimath library
Language: Agda - Size: 28.8 MB - Last synced at: about 12 hours ago - Pushed at: about 19 hours ago - Stars: 261 - Forks: 82
iliocatallo/typista
ML-inspired structured types.
Language: JavaScript - Size: 370 KB - Last synced at: 17 days ago - Pushed at: 6 months ago - Stars: 1 - Forks: 0
Related Keywords
structured-types
2
variants
1
javascript
1
algebraic-data-types
1
adt
1
universal-algebra
1
univalent-mathematics
1
univalent-foundations
1
univalent-combinatorics
1
type-theories
1
trees
1
synthetic-homotopy-theory
1
species
1
ring-theory
1
orthogonal-factorization-systems
1
order-theory
1
number-theory
1
homotopy-type-theory
1
higher-group-theory
1
group-theory
1
graph-theory
1
finite-groups
1
commutative-algebra
1
category-theory
1