Open a Display for OpenGL using Idris This post shows how to open a display with an OpenGL context from the Idris programming language. »