https://kashiwarb.connpass.com/event/384214/ のワーク成果物
https://github.com/LambdaNote/support-ts-tapl と、書籍「型システムのしくみ ― TypeScriptで実装しながら学ぶ型とプログラミング言語」( https://www.lambdanote.com/products/type-systems )を参考にして作成しました。
ライセンスは上記GitHubリポジトリからの派生物のためMITライセンスとしています。
何か問題があれば kozy4324\@gmail.com までご連絡ください。