idris-wl-pprint 0.1-1.1d365fc — Packages

Website: https://github.com/shayan-najd/wl-pprint
License: FreeBSD
Package source: <a class="link-subtle" href="https://git.savannah.gnu.org/cgit/guix.git/tree/gnu/packages/idris.scm#n207">idris.scm
Patches: None
Builds: x86_64-linux, i686-linux

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.