../ data/Build the project with Nix and switct to GHC 8.6.47 years ago instance/Support associated data types and open data family instances7 years ago signature/Output multiple specialize pragmas in a row nicer7 years ago type-families/Build the project with Nix and switct to GHC 8.6.47 years ago type-synonyms/Implement rendering of type synonyms8 years ago value/Fix rendering of implicit parameter variables7 years ago