キーバインドとインスペクト用のヴァナキュラー・コマンド

• C-c C-n 次の行を解釈する（Next）。
• C-c C-u ひとつ前の戻る（Undo）
• C-c C-j そこまで実行、または そこまでUndo。

• Print ターム . タームの値と型を表示する。
• Check ターム . タームの型を表示する。
• About 名前 . その名前に関する情報を表示する。