HexTech A turn based dynamic strategy game written in Lean and SDL2 (previously Haskell)! To run it Install nix on your system Run nix develop --command lake exe hextech And you should be running!