git.iko.soy/Idris-dev
on e2c0e02 help sign in
Idris-dev/src
5 folders, 2 files
../ Core/Wrap Idris in an ErrorT IRTS/Use the ErrorT failure functions and attempt to preserve error structure Idris/Merge pull request #540 from reynir/patch1 Pkg/Wrap Idris in an ErrorT Util/Make --install respect TARGET for .ibc AND objects .ghciAdded .ghci specifying language extensions. Main.hsWrap Idris in an ErrorT