pikelet-lang/pikelet
View on GitHub ↗ ★ 622 Rust
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
3 mentions on Hacker News by 2 people: 1 story, 2 comments · first 2018-09-23 · latest 2020-11-22
20082026
-
▲ 2
Pikelet is a small, functional, dependently typed programming languagestory by todsacerdoti · 2020-11-22 · 0 comments
-
…Currently I'm trying to learn how to implement dependent types in my programming language, Pikelet: https://github.com/pikelet-lang/pikelet (currently doing a rebuild of the front-end in https://github.com/brendanzab/rust-nbe-for-mltt ).…
comment by bjz_ · 2019-04-14 · in Languages I want to write -
…is definitly not as straightforward as making a regular Hindley-Milner style language. [0]: https://github.com/pikelet-lang/pikelet/
comment by bjz_ · 2018-09-23 · in The Little Typer