TeX

Tags: 2次創作 erlang latex satysfi sesterl tex スライド プロメア レコード計算 レタリング ロゴタイプ 型システム 型推論 多段階計算 少女歌劇レヴュースタァライト 所感 東京市会 組版 落描き 言語処理系 記事

TeX言語で型なしλ計算を評価するVMを書いた話

半ばネタOSSとして実装した tex_of_ocaml1 について簡単に紹介します.型なしλ計算を多少程度知っていることを前提とします.

初出: