Haskell gloss ported to Idris | Hacker News Reader