Idris in the browser