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/Helpers.lean | |
| parent | 56c5078463e5f9131dfa073b127e8a9c7c73e05f (diff) | |
display monad
Diffstat (limited to 'lib/Wayland/Helpers.lean')
0 files changed, 0 insertions, 0 deletions