Drawing a Triangle with Idris and OpenGL

»
Author's profile picture Eckart on programming, graphics, and idris

Open a Display for OpenGL using Idris

This post shows how to open a display with an OpenGL context from the Idris programming language.

»
Author's profile picture Eckart on programming, graphics, and idris