Online conference February 19-20. Learn more!

idris-wl-pprint 0.1-1.1d365fc Pretty printing library

A pretty printing library for Idris based on Phil Wadler's paper A Prettier Printer and on Daan Leijen's extensions in the Haskell wl-pprint library.