https://github.com/dragonwasrobot/ex_lambda_calculus
An experiment in extracting the lambda calculus from Elixir
https://github.com/dragonwasrobot/ex_lambda_calculus
elixir-lang experimental lambda-calculus proof-of-concept
Last synced: about 1 month ago
JSON representation
An experiment in extracting the lambda calculus from Elixir
- Host: GitHub
- URL: https://github.com/dragonwasrobot/ex_lambda_calculus
- Owner: dragonwasrobot
- Created: 2017-08-10T10:49:38.000Z (over 7 years ago)
- Default Branch: master
- Last Pushed: 2018-03-26T21:49:17.000Z (about 7 years ago)
- Last Synced: 2023-03-23T08:32:09.995Z (about 2 years ago)
- Topics: elixir-lang, experimental, lambda-calculus, proof-of-concept
- Language: Elixir
- Homepage:
- Size: 2.93 KB
- Stars: 2
- Watchers: 1
- Forks: 0
- Open Issues: 0