git.iko.soy/Idris-dev
on master help sign in
Add missing modules to idris.cabal
095301fEdwin Brady
idris.cabal+1−1
compare with master
unifiedsplit
@@ -80,7 +80,7 @@ Executable idris
80 Idris.Compiler, Idris.Prover, Idris.ElabTerm,
80 Idris.Compiler, Idris.Prover, Idris.ElabTerm,
81 Idris.Coverage, Idris.IBC, Idris.Unlit,
81 Idris.Coverage, Idris.IBC, Idris.Unlit,
82 Idris.DataOpts, Idris.Transforms, Idris.DSL,
82 Idris.DataOpts, Idris.Transforms, Idris.DSL,
83− Idris.UnusedArgs, Idris.Docs,
83+ Idris.UnusedArgs, Idris.Docs, Idris.Completion,
84
84
85 Util.Pretty, Util.System,
85 Util.Pretty, Util.System,
86 Pkg.Package, Pkg.PParser,
86 Pkg.Package, Pkg.PParser,