git.iko.soy/Idris-dev
on 467bb68 help sign in
Idris-dev/src
5 folders, 2 files
../ Core/Add error object for failure to load file IRTS/Fix missing case in Defunctionalise.hs Idris/Add error object for failure to load file Pkg/Wrap Idris in an ErrorT Util/Java RTS Version bump to include isNull, Maven POM gets installed correctly .ghciAdded .ghci specifying language extensions. Main.hsAdd exception handler to main