Idris2+WebGL, part #16: Binding programs again
It's time to take up the issue I've been avoiding since part 9. The compiler somehow needs to...
Tags: idris, functional, webgl