こんにちは、びしょ〜じょです。 これは言語実装Advent Calendar 2019の15日目の記事の記事です。

実際の記事はこちら: その言語、定義されてますか(pdf)

\(\LaTeX\)記法をバンバン使うため\(\KaTeX\)はイライラして台パンしちゃうと思うんで、素直に\(\LaTeX\)使わせていただきます。 本記事は『その言語、定義されてますか』のポインタです。