- ๐ฌ Ask me about dependent types and proof assistants
- ๐ซ How to reach me: [email protected]
lunalunaa / pi-forall-kt Goto Github PK
View Code? Open in Web Editor NEWA dependently typed programming language
License: BSD 3-Clause "New" or "Revised" License