TeX
Tags: article doodle erlang fanart illustration impression language-processor latex lettering logotype multi-stage-programming promare record-calculus revue-starlight satysfi sesterl slides stadt-tokio tex type-inference type-system typesettingImplementing a Virtual Machine in TeX that Runs Untyped Lambda Terms
This article introduces tex_of_ocaml
1, 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