https://github.com/tom-weatherhead/facility

A Lambda Calculus interpreter implemented in C.
https://github.com/tom-weatherhead/facility

beta-reduction c church-numerals de-bruijn-notation graph-reduction interpreter lambda-calculus y-combinator

Last synced: about 6 hours ago
JSON representation

A Lambda Calculus interpreter implemented in C.

• Host: GitHub
• URL: https://github.com/tom-weatherhead/facility
• Owner: tom-weatherhead
• License: mit
• Created: 2022-08-22T22:11:03.000Z (about 2 years ago)
• Default Branch: master
• Last Pushed: 2022-08-27T02:23:32.000Z (about 2 years ago)
• Last Synced: 2024-04-14T23:52:51.183Z (7 months ago)
• Topics: beta-reduction, c, church-numerals, de-bruijn-notation, graph-reduction, interpreter, lambda-calculus, y-combinator
• Language: C
• Homepage:
• Size: 127 KB
• Stars: 1
• Watchers: 2
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project