From 44796b1b1493a67dcdfec8f9846dce14e7ecf4a4 Mon Sep 17 00:00:00 2001
From: Hannes Schulze <haschu0103@outlook.de>
Date: Tue, 10 Feb 2026 17:05:11 +0100
Subject: initial commit

---
 lib/CWayland/CWayland.c | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 lib/CWayland/CWayland.c

(limited to 'lib/CWayland')

diff --git a/lib/CWayland/CWayland.c b/lib/CWayland/CWayland.c
new file mode 100644
index 0000000..2b9bf6d
--- /dev/null
+++ b/lib/CWayland/CWayland.c
@@ -0,0 +1,6 @@
+#include <lean/lean.h>
+
+lean_obj_res lean_test_answer()
+{
+    return lean_io_result_mk_ok(lean_int_to_int(42));
+}
\ No newline at end of file
-- 
cgit v1.3.1