https://github.com/lsevero/lambda_calculus

A small study on lambda calculus using clojure
https://github.com/lsevero/lambda_calculus

Last synced: 2 months ago
JSON representation

A small study on lambda calculus using clojure

• Host: GitHub
• URL: https://github.com/lsevero/lambda_calculus
• Owner: lsevero
• License: unlicense
• Created: 2021-01-27T22:36:45.000Z (over 4 years ago)
• Default Branch: main
• Last Pushed: 2023-06-05T12:37:31.000Z (almost 2 years ago)
• Last Synced: 2025-01-20T18:44:56.951Z (4 months ago)
• Language: Clojure
• Size: 7.81 KB
• Stars: 0
• Watchers: 3
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGELOG.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# lambda_calculus

A small study on lambda calculus using clojure (but any lisp would do just fine).

I tried to keep thing closest to the form using just lambda functions with only 1 argument, although this can become unreadable pretty quickly.

I haven't used church numeral on everthing because again, this is just a study and using church numerals everywhere would make things very complicated.

## Usage

This repo was not intended to be used as a library or a executable.

Just start a REPL and go executing the code on the comments to see the result.

## License

Unlicense