Merge pull request #3623 from strake/patch-5

Add natural-induction and Fin
This commit is contained in:
Dan Burton 2018-05-12 16:05:42 -07:00 committed by GitHub
commit 1fd281702c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -3324,12 +3324,14 @@ packages:
- fuzzy-dates - fuzzy-dates
"Matthew Farkas-Dyck <strake888@gmail.com> @strake": "Matthew Farkas-Dyck <strake888@gmail.com> @strake":
- Fin
- alg - alg
- category - category
- constraint - constraint
- filtrable - filtrable
- hs-functors - hs-functors
- lenz - lenz
- natural-induction
- peano - peano
- unconstrained - unconstrained
- util - util