https://github.com/lemniscate-world/robust-lambda

Building a functional untyped lambda calculus interpreter with a visual reduction tracer.
https://github.com/lemniscate-world/robust-lambda

formal-languages lambda lambda-calculus lambda-calculus-evaluator

Last synced: 7 months ago
JSON representation

Building a functional untyped lambda calculus interpreter with a visual reduction tracer.

• Host: GitHub
• URL: https://github.com/lemniscate-world/robust-lambda
• Owner: Lemniscate-world
• Created: 2025-01-23T16:39:45.000Z (9 months ago)
• Default Branch: main
• Last Pushed: 2025-01-29T13:32:18.000Z (8 months ago)
• Last Synced: 2025-03-23T05:20:24.397Z (7 months ago)
• Topics: formal-languages, lambda, lambda-calculus, lambda-calculus-evaluator
• Language: JavaScript
• Homepage:
• Size: 5.86 KB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.MD

Awesome Lists containing this project

README