EdScheme使ってみたんだけど、いいね。
日本語が通ればもっといいんだけど。