1. Top
  2. monotonicity
  3. Commits
monotonicity

A city-building and transport simulation game written in Lean

Commits at 266dd3480b0d4b926fcf322a231491e3eb69d42f

  1. 266dd348 Typo Anthony Wang authored at Anthony Wang comitted at
  2. f68790b4 Rename to MonotoniCity Anthony Wang authored at Anthony Wang comitted at
  3. 9e7dd794 Bump to Lean v4.31, add patch for more Raylean bindings Anthony Wang authored at Anthony Wang comitted at
  4. e3480cee Add list of street names Anthony Wang authored at Anthony Wang comitted at
  5. 34ecb06d Use the state monad Anthony Wang authored at Anthony Wang comitted at
  6. dc9f8234 Start working on console interface Anthony Wang authored at Anthony Wang comitted at
  7. 0400bf53 Render buildings Anthony Wang authored at Anthony Wang comitted at
  8. c22dd3f9 Update lakeHash, add bundle instructions Anthony Wang authored at Anthony Wang comitted at
  9. 8db5657e Update Raylean which now has my typo fix Anthony Wang authored at Anthony Wang comitted at
  10. 02600752 Fix Nix build Anthony Wang authored at Anthony Wang comitted at
  11. f253362f It's 3D! Anthony Wang authored at Anthony Wang comitted at
  12. dc740075 Building instructions, set FLAG_WINDOW_HIGHDPI for scaling on Wayland Anthony Wang authored at Anthony Wang comitted at
  13. d8afabed Initial commit Anthony Wang authored at Anthony Wang comitted at