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