A physics-based RPG in a pure functional language
To build this you need idris-sdl2 and idris-box2d
-
Notifications
You must be signed in to change notification settings - Fork 2
A 2D platformer in Idris, a dependently-typed purely functional programming language
corazza/game-idris
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
A 2D platformer in Idris, a dependently-typed purely functional programming language
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published