-
Keith Wansbrough authored
Fix pretty-printing of FunTys to not throw away NoteTys (eg type synonyms). (re-commit because first mail message didn't get sent)
1dd8aff2
Fix pretty-printing of FunTys to not throw away NoteTys (eg type synonyms). (re-commit because first mail message didn't get sent)