diff options
| author | Hannes Schulze <haschu0103@outlook.de> | 2026-03-03 16:43:56 +0100 |
|---|---|---|
| committer | Hannes Schulze <haschu0103@outlook.de> | 2026-03-03 16:43:56 +0100 |
| commit | ac696809b0c62f7f062a0dc155a4bf4a995cc9cf (patch) | |
| tree | f66179841980d791a935e108c86a4cecf55144e3 /src | |
| parent | 651c32bad4f336eee9cf423eec5f7b1057a58adf (diff) | |
display connect/disconnect
Diffstat (limited to 'src')
| -rw-r--r-- | src/Waylean.lean | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Waylean.lean b/src/Waylean.lean index 5445f25..d05df11 100644 --- a/src/Waylean.lean +++ b/src/Waylean.lean @@ -1,5 +1,5 @@ import Wayland def main : IO Unit := do - let answer ← testAnswer - IO.println s!"Hello, world! The answer is {answer}." + let disp ← Display.new .none + IO.println s!"Hello, world! Version: {← disp.getVersion}" |