🚠 å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