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.
- Webauftritt: https://github.com/shayan-najd/wl-pprint
- Lizenz: FreeBSD
- Paketquellcode: idris.scm
- Patches: Keine
- Erstellungen: x86_64-linux, i686-linux