started λ-calculus compiler series: added MathJax to render equations