on 28c35cc help sign in
3 folders
../ function/Adjust rendering of kind signatures and implicit parameters other/Implement rendering of simplest value-level constructs pattern-synonyms/Fix rendering of implicit bidirectional pattern synonyms