WebGL bindings for Idris.