taplの実装パート

以下のブランチに移動して下さい
7章 -> untyped_lambda

7章

cargo runを実行すると、replが立ち上がります。replは:qもしくは:quitで終了します。
入力例: (\x. x) (\x. x)

untyped_lambda_varは、定数を定義出来るようにしたブランチです。定数の名前には、aからz、AからZ、0から9の文字の組み合わせが使えます。:let (変数名) (ラムダ項)のようにすると定数を定義出来ます。

:let 0 (\f. x. x)