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