Caramel
from
プログラミング言語
https://github.com/AbstractMachinesLab/caramel
OCaml実装
https://caramel.run/