haschu/waylean.git/lib/Wayland/Protocols/RiverLayerShellV1/Requests.lean, branch main [WIP] A River window manager implemented in Lean 4. https://git.haschu.me/haschu/waylean.git/atom/lib/Wayland/Protocols/RiverLayerShellV1/Requests.lean?h=main 2026-06-05T20:29:21Z first working version 2026-06-05T20:29:21Z Hannes Schulze contact@haschu.me 2026-06-05T19:05:23Z urn:sha1:648edcd81fc2045cab70ec2b82d81577158d8613 fix build on linux 2026-04-09T21:07:23Z Hannes Schulze contact@haschu.me 2026-04-09T21:07:23Z urn:sha1:80317994ba8a8b7f72c0bf0d824e4ade59a4b6c8