diff options
| author | Hannes Schulze <haschu0103@outlook.de> | 2026-03-15 15:56:57 +0100 |
|---|---|---|
| committer | Hannes Schulze <haschu0103@outlook.de> | 2026-03-15 15:56:57 +0100 |
| commit | 79b911b020ae492203688cb4c75884edc8ab20c9 (patch) | |
| tree | 7717e0436becc6ee6203fadd3262f4136a69b62a /src/Waylean.lean | |
| parent | 0b7ad07db1be69f75ca9b469fd6210c64ba87dd5 (diff) | |
native api sketch
Diffstat (limited to 'src/Waylean.lean')
0 files changed, 0 insertions, 0 deletions