On Mon, Feb 8, 2016 at 9:07 PM, David Kaloper Meršinjak <dk505@cam.ac.uk> wrote:

I'd like to announce the first release of Notty, a terminal library.

Homepage: https://github.com/pqwy/notty
Docs: http://pqwy.github.io/notty

Many thanks to Daniel Bünzli who helped discard an endless stream of
bad ideas. Sadly, he's not omnipotent.

Daniel's work is also what Notty's solid Unicode support builds upon.

A big "Thank you!" to both you and Daniel for creating this elegant library! With not many lines of code, I create a new logger to my LWT application that adds color to log messages as well as word wrapping them intelligently.

Highly recommended!

Rich