Pikelet is a small, functional, dependently typed programming languagegithub.com/pikelet-lang2 pointstodsacerdoti6 years ago