Uploads by Db81
Jump to navigation
Jump to search
This special page shows all uploaded files.
Date | Name | Thumbnail | Size | Description | Versions |
---|---|---|---|---|---|
13:49, 29 March 2012 | GHCi 256color.jpg (file) | 68 KB | GHCi colored using some .ghci and sed hackery. | 1 | |
14:05, 29 March 2012 | Ghci 256color.tar.gz (file) | 524 bytes | A working example of colorizing GHCi output using .ghci and sed for your tweaking pleasure. | 1 |