It's "mu" not "miu". I think they gave a talk on it at CUFP one year.

		lpw25 on May 19, 2014 \| parent \| context \| favorite \| on: OCaml 4.02: Everything else It's "mu" not "miu". I think they gave a talk on it at CUFP one year.