jdriordan / tromp

lambda calculus toy

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

SP

$ stack build
$ stack exec sp
Enter some lambda calculus:
λ>(((pair a) b) true)
"(((pair a) b) true)" >(((λx.(λy.x)) a) b)
>a
end.
λ>(((pair a) b) false)
"(((pair a) b) false)" >(((λx.(λy.y)) a) b)
>b
end.

About

lambda calculus toy

License:BSD 3-Clause "New" or "Revised" License


Languages

Language:Haskell 100.0%