haschu/waylean.git/src, branch main
[WIP] A River window manager implemented in Lean 4.
https://git.haschu.me/haschu/waylean.git/atom/src?h=main
2026-06-05T22:48:58Z
more minor cleanups
2026-06-05T22:48:58Z
Hannes Schulze
contact@haschu.me
2026-06-05T22:48:58Z
urn:sha1:fc936969affc5aec8f21c8aac02c2d0c324ffbe0
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
first working version
2026-06-05T20:29:21Z
Hannes Schulze
contact@haschu.me
2026-06-05T19:05:23Z
urn:sha1:648edcd81fc2045cab70ec2b82d81577158d8613
wip tinyrwm in lean
2026-06-05T15:04:51Z
Hannes Schulze
contact@haschu.me
2026-06-05T15:04:51Z
urn:sha1:350d3ca21e6a2d215016c84afa07ccb75abd8a6e
properly handle new objects in events
2026-04-11T20:16:58Z
Hannes Schulze
contact@haschu.me
2026-04-11T20:16:58Z
urn:sha1:397edbdb31bb6d72b9e1e7aa65b5b9bd56ef5cc6
start implementing wm
2026-04-11T17:43:29Z
Hannes Schulze
contact@haschu.me
2026-04-11T17:43:29Z
urn:sha1:3d722b15a21977931a0bfa99bd8c6a235682a6d9
implement registry wrapper
2026-04-10T15:36:15Z
Hannes Schulze
contact@haschu.me
2026-04-10T15:36:15Z
urn:sha1:dab858e92dfa5705d1aef7259e03b25747372d95
fix generic new_ids
2026-04-06T05:20:06Z
Hannes Schulze
haschu0103@outlook.de
2026-04-06T05:19:48Z
urn:sha1:92da08078a5459ca1089743eb58385e752bdb5fa
initial codegen
2026-04-05T14:15:03Z
Hannes Schulze
haschu0103@outlook.de
2026-04-05T14:15:03Z
urn:sha1:1f5491a5af7bd0f1ec4046994d6344886465cba5