Update idris.cabal for Decidable
commit772166d3666be2bed90142f48ab192a2ecad6060
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateThu 21 Nov 2013, 15:49 (13 years ago)
parent8b8038c
idris.cabal+1
@@ -70,6 +70,7 @@ Extra-source-files:
7070
7171 libs/prelude/prelude.ipkg
7272 libs/prelude/Prelude/*.idr
73+ libs/prelude/Decidable/*.idr
7374 libs/prelude/Makefile
7475 libs/prelude/*.idr
7576