2012-06-06から1日間の記事一覧

GHCi を少しだけカラフルにする ghci-color を書いた

ghci-color 書いたといっても,ただ sed で色つき文字列に置き換えているだけなので色々お粗末です. 一応こんな感じ.