https://github.com/jackfoxy/lambdacalc

Stripped-down parser using fslexyacc of the lambda calculus.
https://github.com/jackfoxy/lambdacalc

Last synced: about 18 hours ago
JSON representation

Stripped-down parser using fslexyacc of the lambda calculus.

• Host: GitHub
• URL: https://github.com/jackfoxy/lambdacalc
• Owner: jackfoxy
• License: other
• Created: 2016-07-23T16:21:24.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2019-02-20T23:50:15.000Z (over 5 years ago)
• Last Synced: 2023-03-24T18:37:12.482Z (over 1 year ago)
• Language: F#
• Size: 2.33 MB
• Stars: 2
• Watchers: 1
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE.txt

Awesome Lists containing this project

README

        
**STOP!**

Read the [Build Notes](http://jackfoxy.github.io/LambdaCalc/buildnotes.html "Build Notes") first.

There is a simple 2-step manual process to make the first build.

# LambdaCalc #

Stripped-down Lambda Calculus parser using fslexyacc. Lexer and parser intended to be as minimalistic as possible, supporting Untyped Lambda Calculus syntax and comments. Also functions as a working interpreter by performing evaluation and reduction.

## UntypedRecurs ##

This lexer/parser program focuses on the bottom and fix (y combinator) abstractions of the Lambda Calculus.