8fe28aaAmended the test suite to report updated documentation.Jan de Muijnck-Hughes7 years ago ee7a3cbPrelude: implement Functor for `Pair a`Jacob Errington10 years ago 0df1270Change Instance to implementation (#3404)(λ _ λ)10 years ago 09263c1Don't query width when not a ttyNiklas Larsson10 years ago 7540bb3Minor name changesEdwin Brady11 years ago 4d0a065Change "class/instance" keywordsEdwin Brady11 years ago 2cda43eUpdate docs testEdwin Brady11 years ago 752a2fcUpdate tests for proof deprecationDavid Raymond Christiansen11 years ago 8c28352Some Prelude reorganisationEdwin Brady11 years ago 6e7f896Careful when to show namespaces in :docEdwin Brady11 years ago 164c4f6Update REPL :doc related tests with totality statusGuglielmo Fachini11 years ago 6c4553cMake --quiet imply non-verbosityDavid Raymond Christiansen12 years ago beda221Improve display of documenation for named instancesDavid Raymond Christiansen12 years ago