Merge pull request #4262 from Lysxia/master

Add generic-data-surgery and type-map
This commit is contained in:
Jens Petersen 2018-12-31 12:24:48 +09:00 committed by GitHub
commit 3a456f771f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -312,9 +312,11 @@ packages:
- boltzmann-samplers
- first-class-families
- generic-data
- generic-data-surgery
- generic-random
- scanf
- show-combinators
- type-map
"Tobias Dammers <tdammers@gmail.com> @tdammers":
- ginger < 0 # BuildFailureException Process exited with ExitFailure 1: ./Setup build