[xeonmc]

Combine this with that paper of C compiler written entirely in lambda terms[0], now LaTeX is a compilation platform as well!

[0] https://news.ycombinator.com/item?id=33115719

[smitty1e]

The obvious next project is to port emacs.