The OCaml implementation of iganaq was finished in May, but I only got to finish writing about it today:
https://tori.jutty.dev/updates/iganaq-ocaml/
iganaq is my experimental subset of tori (https://tori.jutty.dev) for evaluating candidate programming languages for its future versions.