git.iko.soy/Idris-dev
on e1dc450 help sign in
Idris-dev/src
5 folders, 2 files
../ Core/Extend split/splitOnLine to cope with 'where/with' IRTS/Fix missing case in Defunctionalise.hs Idris/Pick unique names for rhs when case splitting Pkg/Wrap Idris in an ErrorT Util/Make --install respect TARGET for .ibc AND objects .ghciAdded .ghci specifying language extensions. Main.hsAdd --client option