1. Top
  2. monotonicity
  3. Commits
monotonicity

A city-building and transport simulation game written in Lean

Commits at 2108ebbe703559d737032bb681d72b9522bfb8fb

  1. 2108ebbe More monad transformer fun Anthony Wang authored at Anthony Wang comitted at
  2. b3b35634 Add GPL v3 license Anthony Wang authored at Anthony Wang comitted at
  3. 1a1ed3b1 Another typo oof Anthony Wang authored at Anthony Wang comitted at
  4. 75b7e868 Typo Anthony Wang authored at Anthony Wang comitted at
  5. ed369375 Multilane roads Anthony Wang authored at Anthony Wang comitted at
  6. d1d1cfbb Building buildings Anthony Wang authored at Anthony Wang comitted at
  7. f8148f8c Add latest version of raylean.patch Anthony Wang authored at Anthony Wang comitted at
  8. 4a2b78b6 Fix more small bugs Anthony Wang authored at Anthony Wang comitted at
  9. ab03f2e0 Add hotkey for building intersections Anthony Wang authored at Anthony Wang comitted at
  10. 6311d8b8 Fix a lot of bugs Anthony Wang authored at Anthony Wang comitted at
  11. eec2d1f1 Prevent diagonal collisions Anthony Wang authored at Anthony Wang comitted at
  12. d5240ddc Somewhat playable now Anthony Wang authored at Anthony Wang comitted at
  13. 3170deeb Vehicles now move! Anthony Wang authored at Anthony Wang comitted at
  14. 29b1eb68 Render building names Anthony Wang authored at Anthony Wang comitted at
  15. f8cfb964 Building roads works now! Anthony Wang authored at Anthony Wang comitted at
  16. 38a6a073 Implement 2D to 3D projection Anthony Wang authored at Anthony Wang comitted at
  17. 299774cc Add bindings for getScreenWidth and getScreenHeight Anthony Wang authored at Anthony Wang comitted at
  18. 162c8ed4 Add rlwrap wrapper in flake.nix Anthony Wang authored at Anthony Wang comitted at
  19. 29b043aa Implement doTick Anthony Wang authored at Anthony Wang comitted at
  20. 266dd348 Typo Anthony Wang authored at Anthony Wang comitted at
  21. f68790b4 Rename to MonotoniCity Anthony Wang authored at Anthony Wang comitted at
  22. 9e7dd794 Bump to Lean v4.31, add patch for more Raylean bindings Anthony Wang authored at Anthony Wang comitted at
  23. e3480cee Add list of street names Anthony Wang authored at Anthony Wang comitted at
  24. 34ecb06d Use the state monad Anthony Wang authored at Anthony Wang comitted at
  25. dc9f8234 Start working on console interface Anthony Wang authored at Anthony Wang comitted at
  26. 0400bf53 Render buildings Anthony Wang authored at Anthony Wang comitted at
  27. c22dd3f9 Update lakeHash, add bundle instructions Anthony Wang authored at Anthony Wang comitted at
  28. 8db5657e Update Raylean which now has my typo fix Anthony Wang authored at Anthony Wang comitted at
  29. 02600752 Fix Nix build Anthony Wang authored at Anthony Wang comitted at
  30. f253362f It's 3D! Anthony Wang authored at Anthony Wang comitted at