mracos / elixir-lambda-calculus Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Trying to do lambda calculus (church encoding) with elixir :)

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 11 Commits
.formatter.exs		.formatter.exs
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
lambda.exs		lambda.exs

Repository files navigation

elixir-lambda-calculus 💧 λ

(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 🐟

About

Trying to do lambda calculus (church encoding) with elixir :)

elixir lambda-calculus church-encoding

Report repository

Releases

No releases published

Packages

No packages published

Languages

Elixir 100.0%