git.iko.soy/Idris-dev
on master help sign in
Util.Pretty missing
067f4faEdwin Brady
idris.cabal+2
compare with master
unifiedsplit
@@ -63,6 +63,8 @@ Executable idris
63 Idris.Coverage, Idris.IBC, Idris.Unlit,
63 Idris.Coverage, Idris.IBC, Idris.Unlit,
64 Idris.DataOpts, Idris.Transforms, Idris.DSL,
64 Idris.DataOpts, Idris.Transforms, Idris.DSL,
65
65
66+ Util.Pretty,
67+
66 Paths_idris
68 Paths_idris
67
69
68 Build-depends: base>=4 && <5, parsec, mtl, Cabal, haskeline,
70 Build-depends: base>=4 && <5, parsec, mtl, Cabal, haskeline,