GitHub repository: CyberFlameGO/game-idris
Description: A game in Idris