diff options
| author | Hannes Schulze <haschu0103@outlook.de> | 2026-03-08 17:27:51 +0100 |
|---|---|---|
| committer | Hannes Schulze <haschu0103@outlook.de> | 2026-03-08 17:27:51 +0100 |
| commit | 658b74715751cb4b52b2a968325ece9a62a29fc3 (patch) | |
| tree | 9a831619b58a4ea0a56968f4a6a5d1c9a3422f2c /lib/Wayland.lean | |
| parent | 56c5078463e5f9131dfa073b127e8a9c7c73e05f (diff) | |
display monad
Diffstat (limited to 'lib/Wayland.lean')
| -rw-r--r-- | lib/Wayland.lean | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/Wayland.lean b/lib/Wayland.lean index 16f5c4c..8dd49c8 100644 --- a/lib/Wayland.lean +++ b/lib/Wayland.lean @@ -1 +1,2 @@ import Wayland.Native +import Wayland.Display |