FrozenWinters / SSTsLinks
Work in progress on semi-simplicial types
☆23Updated 2 years ago
Alternatives and similar repositories for SSTs
Users that are interested in SSTs are comparing it to the libraries listed below
Sorting:
- A formalization of the theory behind the mugen library☆19Updated 11 months ago
- Bidirectional Binding Signature and Bidirectional Type Synthesis, Generically