4 ms·

I don't know what browser you are using but in my experience, Firefox is faster than Chrome :) For the performance we really have to thank the folks of js_of_o

I don't know what browser you are using but in my experience, Firefox is faster than Chrome :) For the performance we really have to thank the folks of js_of_ocaml!