Experimentation with Idris and WebGL via JavaScript FFI