Add foldable1 package, which Fin now depends on

This commit is contained in:
M Farkas-Dyck 2018-08-23 11:16:58 -08:00 committed by GitHub
parent d33f12a59d
commit 110786e31f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -3500,6 +3500,7 @@ packages:
- constraint
- either-both
- filtrable
- foldable1
- hs-functors
- lenz
- natural-induction