Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

Util.Pretty missing

  • Loading branch information...
commit 067f4faf53a02f060ab03bbf76157a62bb0679bd 1 parent 08797ae
Edwin Brady authored
Showing with 2 additions and 0 deletions.
  1. +2 −0  idris.cabal
View
2  idris.cabal
@@ -63,6 +63,8 @@ Executable idris
Idris.Coverage, Idris.IBC, Idris.Unlit,
Idris.DataOpts, Idris.Transforms, Idris.DSL,
+ Util.Pretty,
+
Paths_idris
Build-depends: base>=4 && <5, parsec, mtl, Cabal, haskeline,
Please sign in to comment.
Something went wrong with that request. Please try again.