tonyxty / hStacksLinks
Stacks project, from a homotopy type theory point-of-view (hPOV)
☆14Updated 5 years ago
Alternatives and similar repositories for hStacks
Users that are interested in hStacks are comparing it to the libraries listed below
Sorting:
- (WIP) Dependently-typed programming language with Agda style dependent pattern matching☆80Updated 5 years ago
- Accessing Agda's interaction mode via command line & external tactic for Agda.☆26Updated 4 years ago
- an implementation of Observational Type Theory (OTT) and more☆29Updated 3 years ago
- ☆36Updated 4 years ago
- Dependently typed programming language written in Haskell