Merge pull request #3231 from newhoggy/add-hw-fingertree-strict

Add hw-fingertree and hw-fingertree-strict libraries
This commit is contained in:
Luke Murphy 2018-01-28 09:48:12 +01:00 committed by GitHub
commit 55f0bfcf6a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -2468,6 +2468,8 @@ packages:
- hw-hedgehog
- hw-hspec-hedgehog
- hw-int
- hw-fingertree
- hw-fingertree-strict
- hw-json
- hw-parser
- hw-prim