Skip to content

Files

Latest commit

6421a96 · Apr 7, 2018

History

History
7 lines (5 loc) · 285 Bytes

ChangeLog.md

File metadata and controls

7 lines (5 loc) · 285 Bytes

Revision history for gloss-idris

0.2.0.0 -- 2018-03-28

added text-rendering using GLUT

0.1.0.0 -- 2018-03-24

First version: Port missing text-rendering, BMP support (PNG instead), and crashes due to a bug in Idris (probably) which does not allow modifyIORef in c callbacks