1. Top
  2. monotonicity
  3. Commits
monotonicity

A city-building and transport simulation game written in Lean

Commits at main

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