Import Prelude.Pairs into Prelude.
commit51ab305e57714ab4656b7fde12ac73f8dd6423db
authorMatus Tejiscak <ziman@functor.sk>
dateWed 28 May 2014, 15:59 (12 years ago)
parent5c9ffda
libs/prelude/Prelude.idr+1
@@ -21,6 +21,7 @@ import Prelude.Traversable
2121import Prelude.Bits
2222import Prelude.Stream
2323import Prelude.Uninhabited
24+import Prelude.Pairs
2425
2526import Decidable.Equality
2627