haschu/waylean.git/tools/Scanner.lean, branch main
[WIP] A River window manager implemented in Lean 4.
https://git.haschu.me/haschu/waylean.git/atom/tools/Scanner.lean?h=main
2026-04-05T14:20:10Z
further cleanup
2026-04-05T14:20:10Z
Hannes Schulze
haschu0103@outlook.de
2026-04-05T14:20:10Z
urn:sha1:d47eacf3939411aff7ca0badbed1d1f2f5494969
initial codegen
2026-04-05T14:15:03Z
Hannes Schulze
haschu0103@outlook.de
2026-04-05T14:15:03Z
urn:sha1:1f5491a5af7bd0f1ec4046994d6344886465cba5
resolve types in protocols
2026-04-03T21:38:07Z
Hannes Schulze
haschu0103@outlook.de
2026-04-03T21:38:07Z
urn:sha1:4119fa8c0c59bb39f9aeba7f479067fd834c4e20
parse wayland protocols
2026-04-03T19:40:46Z
Hannes Schulze
haschu0103@outlook.de
2026-04-03T19:40:46Z
urn:sha1:09be9fb2701f0560aeb714f89fe0d1e750915ae0