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

summary refs log tree commit diff

path: root/lib/Wayland/Protocols/Wayland.lean

blob: 076abbab9345b0dc4ab27b0a56fb9ea1bf7d321b (plain)

import Wayland.Protocols.Wayland.Header
import Wayland.Protocols.Wayland.Interface
import Wayland.Protocols.Wayland.Requests
import Wayland.Protocols.Wayland.Resolved