Skip to content
This repository has been archived by the owner on Apr 30, 2022. It is now read-only.

Translate Lambda Calculus to Python3 in Python3 for CSC 530 : Grad PL

Notifications You must be signed in to change notification settings

maxzinkus/Tiny-LambdaCalculus-Compiler

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

6 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

tiny-lc-compiler-DeltaHeavy

Max Zinkus

Translates Lambda Calculus -> Python3 (Python3 is the implementation language and the target language)

fix_recursion.py contains the code that must be run before the output of the translator is run/imported, so that Python3 doesn't hit recursion limits.

To run: python3 translate.py <foo.rkt> prints the python3 code to stdout So to write it to out.py: python3 translate.py test.rkt > out.pt then: python3 -i fix_recursion.py and in the interpreter import out will start running the <1000 primes code.

About

Translate Lambda Calculus to Python3 in Python3 for CSC 530 : Grad PL

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published