Merge pull request #5180 from kowainik/chshersh/colourista

Add colourista
This commit is contained in:
Adam Bergmark 2020-02-17 15:34:55 +01:00 committed by GitHub
commit a7cee7b6a3
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -3601,6 +3601,7 @@ packages:
- co-log-core
- co-log
- co-log-polysemy
- colourista
- first-class-patterns
- ilist
- membrain
@ -4143,7 +4144,7 @@ packages:
"8c6794b6 <8c6794b6@gmail.com> @8c6794b6":
- hpc-codecov
"Hiromi Ishii <konn.jinro@gmail.com> @konn":
- equational-reasoning
- ghc-typelits-presburger