https://github.com/thomasdziedzic/lambda_calculus

https://github.com/thomasdziedzic/lambda_calculus

Last synced: 6 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/thomasdziedzic/lambda_calculus
• Owner: thomasdziedzic
• Created: 2021-07-31T02:46:22.000Z (over 4 years ago)
• Default Branch: main
• Last Pushed: 2021-08-07T13:37:56.000Z (over 4 years ago)
• Last Synced: 2024-05-22T22:32:42.387Z (over 1 year ago)
• Language: Rust
• Size: 46.9 KB
• Stars: 1
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

• awesome-rust-formalized-reasoning - lambda_calculus - lambda calculus with antlr grammar. (Lambda Calculus / Libraries)

README

          
# regenerating the grammar

```

cd src/grammar && antlr4 -Dlanguage=Rust -visitor LambdaCalculus.g4

```