git.iko.soy/Idris-dev
on cc80288 help sign in
Idris-dev/src
6 folders, 1 file
../ Core/Disentangle Haskeline from the internals Idris IRTS/Reorder the monad transformers in the Idris monad to allow completion Idris/Rename the REPL's Haskeline uses to make them obviously REPL-specific Pkg/More platform agnostic now RTS/Adding support for Windows MingW32 Util/Fix Util.System so that it compiles again... Main.hsDisentangle Haskeline from the internals Idris