../ Convert/Use Map rather than list in Exports10 years ago RenderedCode/Separate the `Op` and `Ident` namespaces10 years ago Utils/Various changes to Docs for Pursuit12 years ago AsMarkdown.hsImproved error messages in the constraint solver (#2230)10 years ago Convert.hsBetter context information for typed hole errors (#2247)10 years ago ParseAndBookmark.hsTravis tweaks (#2178)10 years ago Render.hsSeparate the `Op` and `Ident` namespaces10 years ago RenderedCode.hsNoImplicitPrelude, enable some global extensions (#2094)10 years ago Types.hsSeparate the `Op` and `Ident` namespaces10 years ago