User contributions

(Latest | Earliest) View (newer 50) (older 50) (20 | 50 | 100 | 250 | 500)

14:20, 29 March 2012 (hist) (diff) User:Db81‎ (New page: I'm db81 on FreeNode.) (top)
14:16, 29 March 2012 (hist) (diff) GHCi in colour‎ (Added a note about \001..\002 for readline and an example.)
14:05, 29 March 2012 (hist) (diff) Image:Ghci 256color.tar.gz‎ (A working example of colorizing GHCi output using .ghci and sed for your tweaking pleasure.) (top)
13:49, 29 March 2012 (hist) (diff) Image:GHCi 256color.jpg‎ (GHCi colored using some .ghci and sed hackery.) (top)

(Latest | Earliest) View (newer 50) (older 50) (20 | 50 | 100 | 250 | 500)