[WIP] A River window manager implemented in Lean 4. https://git.haschu.me/haschu/waylean.git/atom/lib/git@haschu.me:haschu?h=main