単純型付きラムダ計算（β版）

出力はここに表示されます。
ヘルプが必要な場合、上のロゴからREADME.mdを読んでください。
マクロ名 定義 型

これまでの簡約過程と、型付けの証明木（bussproofs.sty形式）をLaTeX形式で表示します。