Add foldable1 package, which Fin now depends on
commit110786e31fcaef6f7fda64c2f10ade442361d9d3
authorM Farkas-Dyck <strake888@gmail.com>
dateThu 23 Aug 2018, 11:16 (8 years ago)
parentd33f12a
build-constraints.yaml+1
@@ -3500,6 +3500,7 @@ packages:
35003500 - constraint
35013501 - either-both
35023502 - filtrable
3503+ - foldable1
35033504 - hs-functors
35043505 - lenz
35053506 - natural-induction