1. Top
  2. monotonicity
  3. Commits
monotonicity

A city-building and transport simulation game written in Lean

Commits at main

  1. 945aea4d Update to Lean 4.32.2 Anthony Wang authored at Anthony Wang comitted at
  2. 00f493ab Update to Lean 4.32.0 with the new do elaborator Anthony Wang authored at Anthony Wang comitted at
  3. 687e49c1 Add fixed pointer mode by request, tweak probs some more to make them friendlier for large cities Anthony Wang authored at Anthony Wang comitted at
  4. d7756f74 Don't need janky README image link workaround anymore Anthony Wang authored at Anthony Wang comitted at
  5. dc4eb1bc Cap production at 100 Anthony Wang authored at Anthony Wang comitted at
  6. c0b94905 Refactor console to use doAction Anthony Wang authored at Anthony Wang comitted at
  7. cf9b5a3c Make sure ein stays consistent after delete, add build.sh by Paul Cadman Anthony Wang authored at Anthony Wang comitted at
  8. 839961f1 Remove version number command for now since it breaks the Nix build Anthony Wang authored at Anthony Wang comitted at
  9. 09a078ec Add command for printing version number Anthony Wang authored at Anthony Wang comitted at
  10. 2add1525 Make the roads 2D, update Raylean Anthony Wang authored at Anthony Wang comitted at
  11. 11e7264f Better colors for building roads Anthony Wang authored at Anthony Wang comitted at
  12. d2ca7d5d Fix bitmask routing bug, random other tweaks Anthony Wang authored at Anthony Wang comitted at
  13. fdd8e715 Store two bitmasks for slightly faster BFS Anthony Wang authored at Anthony Wang comitted at
  14. b3ee028e Merge branch 'bitmask' Anthony Wang authored at Anthony Wang comitted at
  15. 8884c083 Tweak production and prob numbers Anthony Wang authored at Anthony Wang comitted at
  16. a5c2d7b1 Add check production command, sometimes go home even if zero production, new screenshot Anthony Wang authored at Anthony Wang comitted at
  17. 7c059e25 Eh turn off that heuristic for now Anthony Wang authored at Anthony Wang comitted at
  18. 1a98c668 Autosave on quit Anthony Wang authored at Anthony Wang comitted at
  19. b7d5ac20 Some color palette changes Anthony Wang authored at Anthony Wang comitted at
  20. e1c931f2 Write an actual gameplay guide, better rename command Anthony Wang authored at Anthony Wang comitted at
  21. 36e424fd Make taller buildings less expensive, make arrows lower poly for even better perf Anthony Wang authored at Anthony Wang comitted at
  22. 39202192 Better screenshot Anthony Wang authored at Anthony Wang comitted at
  23. 336d6b81 Tweak some of the numbers, boost render perf by a lot Anthony Wang authored at Anthony Wang comitted at
  24. 4a8f2f42 All my Raylean patches have been upstreamed! Anthony Wang authored at Anthony Wang comitted at
  25. 9d66f0d6 Fix more bugs and typos Anthony Wang authored at Anthony Wang comitted at
  26. ca25c902 Oh wait doProb is messed up Anthony Wang authored at Anthony Wang comitted at
  27. 9fc12d60 Adjust some of the numbers for balance I guess Anthony Wang authored at Anthony Wang comitted at
  28. b9d9d82b Add (garbage) screenshot Anthony Wang authored at Anthony Wang comitted at
  29. 2ad8a605 Possible perf improvement for doTick Anthony Wang authored at Anthony Wang comitted at
  30. 44639f4a Industry chains and large intersections! Anthony Wang authored at Anthony Wang comitted at