git.iko.soy/Idris-dev
on ea39754 help sign in
Idris-dev/src
5 folders, 2 files
../ Core/Wrap Idris in an ErrorT IRTS/Fix missing case in Defunctionalise.hs Idris/Addition of indentation property support. Fixes indentation property of arguments to tactics such that they are parsed correctly. Fixes idris-lang/Idris-dev#551. Pkg/Wrap Idris in an ErrorT Util/Make --install respect TARGET for .ibc AND objects .ghciAdded .ghci specifying language extensions. Main.hsConvert IO errors into erros in the Idris monad