1. 1
2. 2
3. 3
4. 4
5. 5
6. 6
7. 7
8. 8
9. 9
10. 10
11. 11
12. 12
13. 13
14. 14
15. 15
16. 16
17. 17
18. 18
19. 19
20. 20
21. 21

# 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.