Hacker News new | ask | show | jobs
Haskell gloss ported to Idris (github.com)
2 points by io_nathan 2896 days ago