1. Top
  2. monotonicity
  3. Commits
monotonicity

A city-building and transport simulation game written in Lean

Commits at d1d1cfbbcf66ec0fe286bcac015c1b4bea8aebcb

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