Lambda Calculus language

I am collaborating with one of my students to create a programming language based heavily on lambda calculus.

The project is planned to include:

• A compiler which returns a custom .sk file type based on SK-combinatory logic
• A C based runtime to run .sk files
• Sufficient compile-time and runtime optimisations to make simple programs performant
• Options to compile into .exe and other common executable formats (by bundling the C runtime with the contents of an .sk)

The code is hosted in a public GitHub repository.

Links:

• https://en.wikipedia.org/wiki/Lambda_calculus
• https://en.wikipedia.org/wiki/SKI_combinator_calculus
• https://en.wikipedia.org/wiki/C_(programming_language)
• https://github.com/bloootac/lambda-calculus-compiler