Post

ocaml.hx is making good progress, I now have a working type-enclosing. Next would be hole-jumping tangled.org/clementd.wtf...