git.iko.soy/stackage
on master help sign in
Add foldable1 package, which Fin now depends on
110786eM Farkas-Dyck
build-constraints.yaml+1
compare with master
unifiedsplit
@@ -3500,6 +3500,7 @@ packages:
3500 - constraint
3500 - constraint
3501 - either-both
3501 - either-both
3502 - filtrable
3502 - filtrable
3503+ - foldable1
3503 - hs-functors
3504 - hs-functors
3504 - lenz
3505 - lenz
3505 - natural-induction
3506 - natural-induction