GitHub repository: siddharthist/wl-pprint
Primary language: Idris
Description: wl-pprint for the Idris language