Haskell gloss ported to Idris(github.com)2 points·by io_nathan·8 lat temu·0 commentsgithub.comHaskell gloss ported to Idrishttps://github.com/thalerjonathan/gloss-idris0 commentsPost comment—