使い方

cargo runで起動

ラムダ計算の文字列を入力する

例：

(λa.a) k と打つと簡約されて、kが表示される

関数の適応は必ずスペースを一つ入れること！

a a

=>OK

aa

=> Error! これではaaという識別子だと勘違いされてしまう