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