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.
- Sitio web: https://github.com/shayan-najd/wl-pprint
- Licencia: FreeBSD
- Fuentes del paquete: idris.scm
- Parches: No hay
- Construcciones: x86_64-linux, i686-linux