add colorful-monoids

This commit is contained in:
Daniel Mendler 2017-01-25 23:24:19 +01:00 committed by GitHub
parent 5b6ffc80ff
commit f14cba89c4

View File

@ -2585,6 +2585,7 @@ packages:
- unlit
- intro
- tasty-auto
- colorful-monoids
"Taras Serduke <taras.serduke@gmail.com> @tserduke":
- do-list