Merge pull request #3122 from blamario/master

Added the rank2classes package
This commit is contained in:
Jens Petersen 2017-12-18 13:40:00 +09:00 committed by GitHub
commit 0e0bcc070f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -589,6 +589,7 @@ packages:
- incremental-parser
- monoid-subclasses
- picoparsec
- rank2classes
"Brent Yorgey <byorgey@gmail.com> @byorgey":
- active