git.iko.soy/Idris-dev
on master help sign in
Add Decidable.Decidable and Decidable.Order to base.ipkg
4f63881Edwin Brady
lib/base.ipkg+1−1
compare with master
unifiedsplit
@@ -13,7 +13,7 @@ modules = Builtins, Prelude, IO, System,
13
13
14 System.Concurrency.Raw, System.Concurrency.Process,
14 System.Concurrency.Raw, System.Concurrency.Process,
15
15
16− Decidable.Equality,
16+ Decidable.Equality, Decidable.Decidable, Decidable.Order,
17
17
18 Uninhabited,
18 Uninhabited,
19
19