haschu/waylean.git/tools/Scanner/Parser.lean, branch main
[WIP] A River window manager implemented in Lean 4.
https://git.haschu.me/haschu/waylean.git/atom/tools/Scanner/Parser.lean?h=main
2026-04-10T15:36:15Z
implement registry wrapper
2026-04-10T15:36:15Z
Hannes Schulze
contact@haschu.me
2026-04-10T15:36:15Z
urn:sha1:dab858e92dfa5705d1aef7259e03b25747372d95
update lean
2026-04-10T10:34:02Z
Hannes Schulze
contact@haschu.me
2026-04-10T10:34:02Z
urn:sha1:bfe6c4cee8b5afcd4078af319ab6b96f6695408b
further cleanup
2026-04-05T14:20:10Z
Hannes Schulze
haschu0103@outlook.de
2026-04-05T14:20:10Z
urn:sha1:d47eacf3939411aff7ca0badbed1d1f2f5494969
some cleanup
2026-04-05T14:18:40Z
Hannes Schulze
haschu0103@outlook.de
2026-04-05T14:18:40Z
urn:sha1:1a59b19a615483ade6284e554c53f17afabb7287
initial codegen
2026-04-05T14:15:03Z
Hannes Schulze
haschu0103@outlook.de
2026-04-05T14:15:03Z
urn:sha1:1f5491a5af7bd0f1ec4046994d6344886465cba5
transitive closure of interface dependencies
2026-04-04T10:17:35Z
Hannes Schulze
haschu0103@outlook.de
2026-04-04T10:17:35Z
urn:sha1:ad4d34bba7671fdf75850a312c7eeeaeb990a9d3
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