Haskell gloss ported to Idris Posted by io_nathan on Thursday July 12, 2018 @05:20AM from the github.com dept. https://github.com/thalerjonathan/gloss-idris ( no comments | 2 points | on HN )
There are no comments yet.