git.iko.soy/Idris-dev
on cbc8a13 help sign in
history ofsrc/Util/Pretty.hs
all commits
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