MonotoniCity

A city-building and transport simulation game written in Lean

For learning the controls... uh, read the source code?

Building

To build this using Nix (least painful trust me), just run nix build.

On NixOS you can also build this by hardcoding the directory of libraylib.so in lakefile.toml (for instance moreLinkArgs = ["-L/nix/store/2ndddyrjb1ahx05kmsjqvzkagz1bdmpk-raylib-6.0/lib", "-lraylib"]) and running lake build, which can be much faster due to caching.

Otherwise, install Raylib and run lake build and hope for the best. It probably won't work, but you can give it a try.

To build a (huge) precompiled bundle that can run on any Linux distro, run nix bundle .#packages.x86_64-linux.default.

I recommend running the game with rlwrap for a slightly nicer console.

Why the name?

monotonicity is a tactic in Lean.