haschu/waylean.git/tools/Scanner/Processor.lean, branch main
[WIP] A River window manager implemented in Lean 4.
https://git.haschu.me/haschu/waylean.git/atom/tools/Scanner/Processor.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
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
referenced interfaces
2026-04-03T22:06:40Z
Hannes Schulze
haschu0103@outlook.de
2026-04-03T22:06:40Z
urn:sha1:9d537c6a480bbb8835aaae5c8a5918004442c3c6
resolve types in protocols
2026-04-03T21:38:07Z
Hannes Schulze
haschu0103@outlook.de
2026-04-03T21:38:07Z
urn:sha1:4119fa8c0c59bb39f9aeba7f479067fd834c4e20