From ac696809b0c62f7f062a0dc155a4bf4a995cc9cf Mon Sep 17 00:00:00 2001
From: Hannes Schulze <haschu0103@outlook.de>
Date: Tue, 3 Mar 2026 16:43:56 +0100
Subject: display connect/disconnect

---
 src/Waylean.lean | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/Waylean.lean')

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}"
-- 
cgit v1.3.1