corazza / game-idris

A 2D platformer in Idris, a dependently-typed purely functional programming language
25Updated 4 years ago

Related projects

Alternatives and complementary repositories for game-idris