GitHub - caotic123/PomPom-Language: The cuteness implementation of a dependently typed language. - discu.eu

Hacker News

Show HN: Dependently typed language for proofs that you can implement in one day https://github.com/caotic123/PomPom-Language 96 comments 2/10/2021

Linked pages

The Haskell Cabal | Overview https://www.haskell.org/cabal/ 63 comments
GitHub - caotic123/Kei: A small and expressive dependently typed language https://github.com/caotic123/kei 22 comments

Related searches:

Search whole site: site:github.com

Search title: GitHub - caotic123/PomPom-Language: The cuteness implementation of a dependently typed language.

See how to search.

Submit link to: