🚠 åre

åre is a tiny compiler from extended/sugared λ-calculus to WebAssembly.

And the biggest ski-resort in Sweden.

Featuring: 📽️

• SKI-conversion via bracket abstraction (basic algorithm from Combinatory Logic by Curry and Feys)
• SECD-like stack machine, but simplified for SKI

Possible Future Experiments 🧪

• Garbage collection
• Type checking and inference
• Self-hosting
• Performance analysis