使い方
cargo runで起動
ラムダ計算の文字列を入力する
例：
(λa.a) k と打つと簡約されて、kが表示される
関数の適応は必ずスペースを一つ入れること！
a a
=>OK
aa
=> Error! これではaaという識別子だと勘違いされてしまう
-
Notifications
You must be signed in to change notification settings - Fork 0
elipmoc/RustLambda
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Rustでラムダ計算のインタプリタをやっていきたみ
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published