News for hackers. Stuff that matters.
Re:OCaml 4.02: Everything else by lpw25 on Monday May 19, 2014 @01:19PM (#7768576)
It's "mu" not "miu". I think they gave a talk on it at CUFP one year.

There are no comments on this comment yet.