Add natural-induction and Fin

This commit is contained in:
M Farkas-Dyck 2018-05-11 22:12:59 -08:00 committed by GitHub
parent ab281b6a2a
commit 0a6b913a2d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

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