LaTeX
Tags: ロゴタイプ 15 絵 9 プログラミング言語 8 記事 7 東京市会 7 型システム 7 2次創作 5 スライド 5 SATySFi 4 落描き 3 所感 2 言語処理系 2 多段階計算 2 プロメア 2 組版 2 ぼっち・ざ・ろっく！ 1 Erlang 1 京都 1 LaTeX 1 少女☆歌劇レヴュースタァライト 1 Sesterl 1 岡本太郎 1 TeX 1TeX言語で型なしλ計算を評価するVMを書いた話
半ばネタOSSとして実装した tex_of_ocaml1 について簡単に紹介します．型なしλ計算を多少程度知っていることを前提とします．
初出：
- 2020年12月9日，TeX言語で型なしλ計算を評価するVMを書いた話 - Qiita