Haskell gloss ported to Idris(github.com)2 ポイント·投稿者 io_nathan·8 年前·0 コメントgithub.comHaskell gloss ported to Idrishttps://github.com/thalerjonathan/gloss-idris0 コメントコメントを投稿—