haschu/waylean.git/lib/Wayland/Basic, branch main
[WIP] A River window manager implemented in Lean 4.
https://git.haschu.me/haschu/waylean.git/atom/lib/Wayland/Basic?h=main
2026-06-05T22:10:15Z
some initial cleanup
2026-06-05T22:10:15Z
Hannes Schulze
contact@haschu.me
2026-06-05T22:10:15Z
urn:sha1:37d2f5a8d4e1623d1685ee1d545d2e0e31128352
lens composition
2026-06-05T21:36:58Z
Hannes Schulze
contact@haschu.me
2026-06-05T21:36:58Z
urn:sha1:f4cff95f32c523ee794427d06740fe3eaca76421
rework file structure
2026-03-08T17:26:33Z
Hannes Schulze
haschu0103@outlook.de
2026-03-08T17:26:33Z
urn:sha1:c290706fed69d622cfe988e732e1ad01d09e569d