Add Decidable directory to idris.cabal
commitdc522762dba77adbf49521540b0351b2223ab2b3
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateMon 25 Feb 2013, 14:14 (14 years ago)
parent1898213
idris.cabal+1
@@ -55,6 +55,7 @@ Extra-source-files: lib/Makefile lib/*.idr lib/Prelude/*.idr
5555 lib/Control/Monad/*.idr lib/Language/*.idr
5656 lib/System/Concurrency/*.idr
5757 lib/Data/*.idr lib/Debug/*.idr
58+ lib/Decidable/*.idr
5859 tutorial/examples/*.idr lib/base.ipkg
5960 config.mk
6061 rts/*.c rts/*.h rts/Makefile