Wayland.lean « lib - haschu/waylean.git - [WIP] A River window manager implemented in Lean 4.

summary refs log tree commit diff

path: root/lib/Wayland.lean

blob: c9a06fafa50eec056c58e57a48eaffe906803047 (plain)

import Wayland.Native
import Wayland.Basic.Duration
import Wayland.Basic.PosixSignal
import Wayland.Basic.Lens
import Wayland.Display
import Wayland.Protocols