Hmm, need to rethink the .cabal for installing .ibc files
commit215856d700722fb5b80ea23559bf8dc87614ed5d
authorEdwin Brady <eb@cs.st-andrews.ac.uk>
dateThu 8 Dec 2011, 23:47 (15 years ago)
parentdccbc43
idris.cabal+1−1
@@ -18,7 +18,7 @@ Description: Idris is an experimental language with full dependent types.
1818Cabal-Version: >= 1.6
1919Build-type: Simple
2020
21−Data-files: *.idr prelude/*.idr *.ibc prelude/*.ibc
21+Data-files: *.idr prelude/*.idr
2222Data-dir: lib
2323
2424Executable idris