Uploads by Db81
Jump to navigation
Jump to search
This special page shows all uploaded files.
Date | Name | Thumbnail | Size | Description | Versions |
---|---|---|---|---|---|
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 |
13:49, 29 March 2012 | GHCi 256color.jpg (file) | ![]() |
68 KB | GHCi colored using some .ghci and sed hackery. | 1 |