#
Starred repositories
2
stars
written in Idris
Clear filter
A purely functional programming language with first class types