peridot
A fast functional language based on two level type theory
Archived
388 stars
5 watching
4 forks
Language: Haskell
last commit: almost 2 years ago dependent-typeshaskellproglangs-discordprogramming-languagesystems-languagetype-theory