game-idris
game-idris copied to clipboard
Published
20 hours ago •
corazza
corazza
A game in Idris
game-idris
A physics-based RPG in a pure functional language
To build this you need idris-sdl2 and idris-box2d
corazza