3 ms·

I really dig the inception demo. I think this would be a great companion to FStar also written in OCaml.