git.iko.soy/Idris-dev
on 8f95300 help sign in
Idris-dev/src
4 folders, 1 file
../ IRTS/Add more ifdefs for DragonFly Idris/Allow functions to be declared as error handlers Pkg/Don't install packages if there are metavariables Util/Add more ifdefs for DragonFly .ghciAdded .ghci specifying language extensions.