Commit Graph

2 Commits

Author SHA1 Message Date
Simon Michael
56a9ed6d66 tools: use pretty-simple for ghci output 2020-11-03 08:19:01 -10:00
Simon Michael
d05209d156 tools: .ghci file to control prompt 2017-03-29 14:43:00 -07:00