Giters
rhysd
/
ghci-color
colorize ghci output
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
71
Watchers:
7
Issues:
3
Forks:
12
rhysd/ghci-color Issues
I use stack, how do I use this script?
Closed
7 years ago
Comments count
4
echo -e flag leaking into output
Closed
9 years ago
Comments count
5
ghci-color halts
Closed
10 years ago
Comments count
1