diff options
Diffstat (limited to 'src/Waylean.lean')
| -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}" |