src - haschu/waylean.git - [WIP] A River window manager implemented in Lean 4.

index : haschu/waylean.git

[WIP] A River window manager implemented in Lean 4.

Git Repositories

summary refs log tree commit diff

path: root/src

Mode	Name	Size
-rw-r--r--	Waylean.lean	582	log plain
d---------	Waylean	41	log plain

generated by cgit v1.3.1 (git 2.54.0) at 2026-11-10 10:45:56 +0000