http://d.hatena.ne.jp/hoge1e3/20071023 に書いたサンプル言語の言語仕様はS式で読みづらいので，もうすこし理解可能な形に整理した（azuki からはまだ読めないけど） program := empty | stmt program stmt := decl | let | typedef typedef := 'type' nam…

前回，前々回 から言っている「セマンティクスを数式で書くパーサジェネレータ」の名前を一応azuki としておく．TonyuとかsoyBasicとか，豆に関連するものを適当につけているから．