git.iko.soy/Idris-dev
on dcdebfc help sign in
history ofsrc/Util/Pretty.hs
all commits
41d3dafUse the pprint library to insert line breaksDavid Raymond Christiansen dc4ce0cReplace the string-slinging show with pretty-printDavid Raymond Christiansen 13f3c29Basic functioning with new pretty-printerDavid Raymond Christiansen 368fdf6Some playing around with widths to make everything look nicer.Dominic Mulligan c824099Major improvement to pretty printing of proof states, especially when the goal is a large term.Dominic Mulligan 8c64e9cGot pretty printing partially working using the Pretty type class as a replacement for Show. Now need to tweak it in order to make everything look nice, and to get terms printing correctly!Dominic Mulligan a34b377Added a file for pretty printing arbitrary data types.Dominic Mulligan