co-dan
commented
10 years ago The display package has been updated: https://github.com/co-dan/interactive-diagrams/commit/dd82134d615a193496c818727b4e50791117cb0f
Now I need to incorporate it & test the whole thing. I believe this would require resolving https://github.com/co-dan/interactive-diagrams/issues/27
It would be much easier to use, and also look much better, when the step-by-step interactive user interface would be replaced by something that immediately shows all required inputs.
This can be done nicely with the new closed type families and some recursive typeclass instances:
https://gist.github.com/luite/6737506