git.iko.soy/Idris-dev
on master help sign in
Import Prelude.Pairs into Prelude.
51ab305Matus Tejiscak
libs/prelude/Prelude.idr+1
compare with master
unifiedsplit
@@ -21,6 +21,7 @@ import Prelude.Traversable
21import Prelude.Bits
21import Prelude.Bits
22import Prelude.Stream
22import Prelude.Stream
23import Prelude.Uninhabited
23import Prelude.Uninhabited
24+import Prelude.Pairs
24
25
25import Decidable.Equality
26import Decidable.Equality
26
27