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