haschu/waylean.git/tools/Scanner/Xml, branch main

haschu/waylean.git/tools/Scanner/Xml, branch main [WIP] A River window manager implemented in Lean 4. https://git.haschu.me/haschu/waylean.git/atom/tools/Scanner/Xml?h=main 2026-04-10T10:34:02Z update lean 2026-04-10T10:34:02Z Hannes Schulze contact@haschu.me 2026-04-10T10:34:02Z urn:sha1:bfe6c4cee8b5afcd4078af319ab6b96f6695408b