GitHub repository: shayan-najd/wl-pprint
Primary language: Idris
Description: A mirror of wl-pprint fixed for GHC 7.10.2