4 ms·I wonder if then Idris would be even better than that since it has even more typingby michaelbarton 7mo agoI wonder if then Idris would be even better than that since it has even more typing