https://github.com/samuelschlesinger/enrichedlambdacalculus

An implementation of the enriched lambda calculus
https://github.com/samuelschlesinger/enrichedlambdacalculus

Last synced: 20 days ago
JSON representation

An implementation of the enriched lambda calculus

• Host: GitHub
• URL: https://github.com/samuelschlesinger/enrichedlambdacalculus
• Owner: SamuelSchlesinger
• Created: 2016-06-30T22:29:54.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2016-07-02T05:07:20.000Z (over 8 years ago)
• Last Synced: 2024-10-27T19:11:02.036Z (2 months ago)
• Language: Haskell
• Size: 5.86 KB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Enriched Lambda Calculus

A work in progress.

So far you can parse expressions into the form. Lets wouldn't play well

with letrecs so I'm representing both as let and I'm going to analyze them

and decide which ones can be simple lets under the hood.