haschu/waylean.git/server, branch main
[WIP] A River window manager implemented in Lean 4.
https://git.haschu.me/haschu/waylean.git/atom/server?h=main
2026-04-06T05:20:06Z
fix generic new_ids
2026-04-06T05:20:06Z
Hannes Schulze
haschu0103@outlook.de
2026-04-06T05:19:48Z
urn:sha1:92da08078a5459ca1089743eb58385e752bdb5fa
display connect/disconnect
2026-03-03T15:43:56Z
Hannes Schulze
haschu0103@outlook.de
2026-03-03T15:43:56Z
urn:sha1:ac696809b0c62f7f062a0dc155a4bf4a995cc9cf