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