Topic: "structured-types"
UniMath/agda-unimath
The agda-unimath library
Language: Agda - Size: 28.5 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 253 - Forks: 79
iliocatallo/typista
ML-inspired structured types.
Language: JavaScript - Size: 370 KB - Last synced at: 10 days ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0
Related Topics
adt
1
algebraic-data-types
1
javascript
1
variants
1
category-theory
1
commutative-algebra
1
finite-groups
1
graph-theory
1
group-theory
1
higher-group-theory
1
homotopy-type-theory
1
number-theory
1
order-theory
1
orthogonal-factorization-systems
1
ring-theory
1
species
1
synthetic-homotopy-theory
1
trees
1
type-theories
1
univalent-combinatorics
1
univalent-foundations
1
univalent-mathematics
1
universal-algebra
1