Skip to content

Fix pretty-printing of type family dependencies

Krzysztof Gogolewski requested to merge wip/typefam-prettyprint into master

"where" should be after the injectivity annotation.

Merge request reports