ghci-color 書いたといっても，ただ sed で色つき文字列に置き換えているだけなので色々お粗末です． 一応こんな感じ．
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。
