pikelet-lang/pikelet

A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧

2 best points · 0 comments · 1 Hacker News post · 621 GitHub stars · View on GitHub

Hacker News discussions

• Pikelet is a small, functional, dependently typed programming language (2 points, 0 comments, by todsacerdoti, 2020-11-22)