No description, website, or topics provided.
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
config
lib
test
.formatter.exs
.gitignore
README.md
mix.exs

README.md

チャーチのラムダ算法による簡約化をするインタプリタです。 Elixirの習得のために書いています。

使い方 起動 iex -S mix Lambda.repl

λは ^記号で代用します。例 λx.x -> ^x.x 一番外側のλ式はカッコを省略できます。

変数は小文字のアルファベットa-zです。 大文字のISKYはコンビネータのために予約されています。

終了 endと入れるとreplを抜けます。

参考文献 計算論 計算可能性とラムダ計算 高橋正子 著 近代科学社