Merge pull request #3623 from strake/patch-5
Add natural-induction and Fin
commit1fd281702cc7b6fa1e2d4f3f01a67a5364b9b936
authorDan Burton <danburton.email@gmail.com>
dateSat 12 May 2018, 16:05 (8 years ago)
parentcab37f30a6b913
build-constraints.yaml+2
@@ -3324,12 +3324,14 @@ packages:
33243324 - fuzzy-dates
33253325
33263326 "Matthew Farkas-Dyck <strake888@gmail.com> @strake":
3327+ - Fin
33273328 - alg
33283329 - category
33293330 - constraint
33303331 - filtrable
33313332 - hs-functors
33323333 - lenz
3334+ - natural-induction
33333335 - peano
33343336 - unconstrained
33353337 - util