GitHub - caotic123/Kei: A small and expressive dependently typed language - discu.eu

Hacker News

Kei – A small and expressive dependent language https://github.com/caotic123/Kei 15 comments 23/8/2019

Reddit

Kei – A small and expressive dependent language https://github.com/caotic123/kei 7 comments 25/8/2019 programming

Linking pages

GitHub - caotic123/PomPom-Language: The cuteness implementation of a dependently typed language. https://github.com/caotic123/PomPom-Language 96 comments

Related searches:

Search whole site: site:github.com

Search title: GitHub - caotic123/Kei: A small and expressive dependently typed language

See how to search.

Submit link to: