マクロ名 定義

これまでの簡約過程をLaTeX形式で表示します。

また、ラムダ式を階層グラフ書換え言語LMNtalに変換した[1] 結果を表示します。

参考文献

[1] Kazunori Ueda, Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting. Proc. RTA 2008, LNCS 5117, Springer, 2008, pp.392-408.

LMNtalコードをラムダ式に変換します
de Bruijn Indexをラムダ式に変換します
簡約グラフからラムダ式を逆引きします（実験機能）
深さ