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 までご連絡ください。