LaTeX

This article introduces tex_of_ocaml¹, a half-joking OSS I developed. Readers are supposed to be somewhat familiar with untyped lambda calculi.

First appearance (written in Japanese):

• Dec 9, 2020. TeX言語で型なしλ計算を評価するVMを書いた話 - Qiita