(trying) to do lambda calculus on elixir
open the lambda.exs file and have fun
you can run with elixir lambda.exs
TODOS:
- predicates
- church pairs
- combinators
- pratical example (fib like)
inspiration
thanks for all the 🐟
(trying) to do lambda calculus on elixir
open the lambda.exs file and have fun
you can run with elixir lambda.exs
TODOS:
inspiration
thanks for all the 🐟