Lists (1)
Stars
8
results
for source starred repositories
written in Idris
Clear filter
A purely functional programming language with first class types
xmonad with the X11 abstracted and configured with Idris
An implementation of questionnaires using dependent types