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: f3781ec41330bac77d50490fa2aa17dfbeb8aae9 (plain)

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