haschu/waylean.git/lib/Wayland.lean, branch main
[WIP] A River window manager implemented in Lean 4.
https://git.haschu.me/haschu/waylean.git/atom/lib/Wayland.lean?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
parse wayland protocols
2026-04-03T19:40:46Z
Hannes Schulze
haschu0103@outlook.de
2026-04-03T19:40:46Z
urn:sha1:09be9fb2701f0560aeb714f89fe0d1e750915ae0
rework file structure
2026-03-08T17:26:33Z
Hannes Schulze
haschu0103@outlook.de
2026-03-08T17:26:33Z
urn:sha1:c290706fed69d622cfe988e732e1ad01d09e569d
display monad
2026-03-08T16:27:51Z
Hannes Schulze
haschu0103@outlook.de
2026-03-08T16:27:51Z
urn:sha1:658b74715751cb4b52b2a968325ece9a62a29fc3
initial commit
2026-02-10T16:05:11Z
Hannes Schulze
haschu0103@outlook.de
2026-02-10T16:05:11Z
urn:sha1:44796b1b1493a67dcdfec8f9846dce14e7ecf4a4