pikelet is an actively used programming language created in 2017. Pikelet is a small, functional, dependently typed programming language.

3Years Old 300Users ?Jobs

Last updated August 9th, 2020

Edit pikelet on GitHub