Idris2+WebGL, part #15: Restricting arguments to a list
Oh yes this is awesome.  Many WebGL functions take a GLenum value, secretly an integer Number in...
Tags: idris, functional, webgl