Add peano package

This commit is contained in:
M Farkas-Dyck 2018-05-08 19:10:39 -08:00 committed by GitHub
parent aa7697d823
commit 0f1590b161
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -3320,6 +3320,7 @@ packages:
- filtrable
- hs-functors
- lenz
- peano
- unconstrained
- util