Add Decidable.Decidable and Decidable.Order to base.ipkg
commit4f6388196719ffbb7887f27bbaaad53b973f53cc
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateSun 14 Apr 2013, 13:25 (14 years ago)
parentfdb1a40
lib/base.ipkg+1−1
@@ -13,7 +13,7 @@ modules = Builtins, Prelude, IO, System,
1313
1414 System.Concurrency.Raw, System.Concurrency.Process,
1515
16− Decidable.Equality,
16+ Decidable.Equality, Decidable.Decidable, Decidable.Order,
1717
1818 Uninhabited,
1919