Name		Name	Last commit message	Last commit date
Latest commit History 29 Commits
src		src
.gitignore		.gitignore
README.md		README.md
compile.sh		compile.sh
game_config.toml		game_config.toml
leanpkg.toml		leanpkg.toml
run_locally.sh		run_locally.sh

Repository files navigation

Maze game

Move n,s,e,w, and out to get out.

About

A skeleton repo for use with the Lean game maker

Report repository

Releases

No releases published

Packages

No packages published

Languages