pikelet is an actively used programming language created in 2017. Pikelet is a small, functional, dependently typed programming language.
- the pikelet website
- pikelet on github
- pikelet first appeared in 2017
- Have a question about pikelet not answered here? Email me and let me know how I can help.
Last updated June 22nd, 2020