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 June 22nd, 2020

Edit pikelet on GitHub