2022-07-23
#夜報
やった
http://www.logic.cs.tsukuba.ac.jp/jikken/type-simple.html
の型検査器をちょっと実装した
https://github.com/AumyF/mini_camlish_typed