git.iko.soy/Idris-dev
on master help sign in
Fixes from library reorg
2d311c1David Raymond Christiansen
.gitignore+1
compare with master
unifiedsplit
@@ -20,6 +20,7 @@ custom.mk
20libs/base/base_doc/
20libs/base/base_doc/
21libs/effects/effects_doc/
21libs/effects/effects_doc/
22libs/prelude/prelude_doc/
22libs/prelude/prelude_doc/
23+libs/contrib/contrib_doc/
23test/output
24test/output
24test/*[0-9][0-9][0-9]/output
25test/*[0-9][0-9][0-9]/output
25test/*[0-9][0-9][0-9]/*.exe
26test/*[0-9][0-9][0-9]/*.exe
idris.cabal+1
@@ -111,6 +111,7 @@ Extra-source-files:
111
111
112 libs/contrib/contrib.ipkg
112 libs/contrib/contrib.ipkg
113 libs/contrib/Makefile
113 libs/contrib/Makefile
114+ libs/contrib/Control/*.idr
114 libs/contrib/Control/Isomorphism/*.idr
115 libs/contrib/Control/Isomorphism/*.idr
115 libs/contrib/Data/*.idr
116 libs/contrib/Data/*.idr
116 libs/contrib/Decidable/*.idr
117 libs/contrib/Decidable/*.idr