HexTech

A turn based dynamic strategy game written in Lean and SDL2 (previously Haskell)!

To run it

Name		Name	Last commit message	Last commit date
Latest commit History 51 Commits
HexTech		HexTech
backend		backend
bin		bin
graphics		graphics
resource		resource
.autoenv.zsh		.autoenv.zsh
.dir-locals.el		.dir-locals.el
.envrc		.envrc
.gitattributes		.gitattributes
.gitignore		.gitignore
.hlint.yaml		.hlint.yaml
HexTech.lean		HexTech.lean
Main.lean		Main.lean
Procfile		Procfile
README.md		README.md
docker-compose.yaml		docker-compose.yaml
flake.lock		flake.lock
flake.nix		flake.nix
heroku.yml		heroku.yml
lake-manifest.json		lake-manifest.json
lakefile.lean		lakefile.lean
lean-toolchain		lean-toolchain
project.nix		project.nix
stack.yaml		stack.yaml
stack.yaml.lock		stack.yaml.lock