haschu/waylean.git/lib/Wayland/Object.lean, branch main [WIP] A River window manager implemented in Lean 4. https://git.haschu.me/haschu/waylean.git/atom/lib/Wayland/Object.lean?h=main 2026-03-13T19:10:14Z type map implementation 2026-03-13T19:10:14Z Hannes Schulze haschu0103@outlook.de 2026-03-13T19:10:14Z urn:sha1:ad2c02141844d48e9c50a05f5ce872db283751ce object api sketch 2026-03-10T18:14:51Z Hannes Schulze haschu0103@outlook.de 2026-03-10T18:14:51Z urn:sha1:a5457cc2f8c62d3b0946e8b80923c47ce94f99a3