atennapel / tinka-hsLinks
Dependently typed programming language written in Haskell
☆22Updated 3 years ago
Alternatives and similar repositories for tinka-hs
Users that are interested in tinka-hs are comparing it to the libraries listed below
Sorting:
- Setoid type theory implementation☆38Updated 2 years ago
- A dependent type theory with user defined data types☆47Updated 4 years ago
- a self-hosting lambda calculus compiler☆37Updated 6 months ago
- ITT: quantified dependent calculus with inference of all modalities, implemented in Idris 2☆23Updated 10 months ago
- quotient types in cubical Agda