Andrés Sicard-Ramírez

Missing exportations in the Text.PrettyPrint module

2

The [documentation](http://hackage.haskell.org/package/pretty-1.1.3.3/docs/Text-PrettyPrint.html) for `Text.PrettyPrint` says: > This module should be used as opposed to the HughesPJ module. Both are equivalent though as this module simply re-exports the other. However, for...

The following test works: ```bash $ shelltest --version shelltest 1.10 ``` ``` < $ echo \#t > #t >2 >= 0 ``` but the version with delimiters omitted does not...

The CHANGELOG says: ```markdown * Key bindings for controlling simplification/normalisation: [TODO: Simplification should be explained somewhere.] Commands like `Goal type and context` (`C-c C-,`) could previously be invoked in two...