1. Top
  2. monotonicity
  3. Commits
monotonicity

A city-building and transport simulation game written in Lean

Commits at 00f493abab81dd1c27174fc8b5187edbeed979a1

  1. b179e5b1 More collision stuff, correctly delete buildings Anthony Wang authored at Anthony Wang comitted at
  2. 99c5d16f Fix a lot of bugs Anthony Wang authored at Anthony Wang comitted at
  3. 5eda96d0 Add hotkey to easily delete control signals Anthony Wang authored at Anthony Wang comitted at
  4. 0b1efcee Revert accidental lakefile.toml change Anthony Wang authored at Anthony Wang comitted at
  5. 803745ba Link to prebuilt AppImage Anthony Wang authored at Anthony Wang comitted at
  6. c39b08f7 Nvidia support for AppImage Anthony Wang authored at Anthony Wang comitted at
  7. 1b2ebbe0 Build AppImage Anthony Wang authored at Anthony Wang comitted at
  8. 2dbf90bb Don't hardcode origin in Road.cost Anthony Wang authored at Anthony Wang comitted at
  9. 9f149485 Improve Road.cost, add fake soundtrack Anthony Wang authored at Anthony Wang comitted at
  10. 4a3fb885 Correctly implement deletion (hopefully) Anthony Wang authored at Anthony Wang comitted at
  11. 2a1bde2e Switch to nixpkgs with Lean v4.31.0 Anthony Wang authored at Anthony Wang comitted at
  12. 2108ebbe More monad transformer fun Anthony Wang authored at Anthony Wang comitted at
  13. b3b35634 Add GPL v3 license Anthony Wang authored at Anthony Wang comitted at
  14. 1a1ed3b1 Another typo oof Anthony Wang authored at Anthony Wang comitted at
  15. 75b7e868 Typo Anthony Wang authored at Anthony Wang comitted at
  16. ed369375 Multilane roads Anthony Wang authored at Anthony Wang comitted at
  17. d1d1cfbb Building buildings Anthony Wang authored at Anthony Wang comitted at
  18. f8148f8c Add latest version of raylean.patch Anthony Wang authored at Anthony Wang comitted at
  19. 4a2b78b6 Fix more small bugs Anthony Wang authored at Anthony Wang comitted at
  20. ab03f2e0 Add hotkey for building intersections Anthony Wang authored at Anthony Wang comitted at
  21. 6311d8b8 Fix a lot of bugs Anthony Wang authored at Anthony Wang comitted at
  22. eec2d1f1 Prevent diagonal collisions Anthony Wang authored at Anthony Wang comitted at
  23. d5240ddc Somewhat playable now Anthony Wang authored at Anthony Wang comitted at
  24. 3170deeb Vehicles now move! Anthony Wang authored at Anthony Wang comitted at
  25. 29b1eb68 Render building names Anthony Wang authored at Anthony Wang comitted at
  26. f8cfb964 Building roads works now! Anthony Wang authored at Anthony Wang comitted at
  27. 38a6a073 Implement 2D to 3D projection Anthony Wang authored at Anthony Wang comitted at
  28. 299774cc Add bindings for getScreenWidth and getScreenHeight Anthony Wang authored at Anthony Wang comitted at
  29. 162c8ed4 Add rlwrap wrapper in flake.nix Anthony Wang authored at Anthony Wang comitted at
  30. 29b043aa Implement doTick Anthony Wang authored at Anthony Wang comitted at