(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 🐟
-
Notifications
You must be signed in to change notification settings - Fork 0
Trying to do lambda calculus (church encoding) with elixir :)
License
mracos/elixir-lambda-calculus
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Trying to do lambda calculus (church encoding) with elixir :)
Topics
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published