From 44796b1b1493a67dcdfec8f9846dce14e7ecf4a4 Mon Sep 17 00:00:00 2001 From: Hannes Schulze Date: Tue, 10 Feb 2026 17:05:11 +0100 Subject: initial commit --- lib/CWayland/CWayland.c | 6 ++++++ lib/Wayland.lean | 1 + lib/Wayland/Native.lean | 2 ++ 3 files changed, 9 insertions(+) create mode 100644 lib/CWayland/CWayland.c create mode 100644 lib/Wayland.lean create mode 100644 lib/Wayland/Native.lean (limited to 'lib') 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_obj_res lean_test_answer() +{ + return lean_io_result_mk_ok(lean_int_to_int(42)); +} \ No newline at end of file diff --git a/lib/Wayland.lean b/lib/Wayland.lean new file mode 100644 index 0000000..16f5c4c --- /dev/null +++ b/lib/Wayland.lean @@ -0,0 +1 @@ +import Wayland.Native diff --git a/lib/Wayland/Native.lean b/lib/Wayland/Native.lean new file mode 100644 index 0000000..ded2e3a --- /dev/null +++ b/lib/Wayland/Native.lean @@ -0,0 +1,2 @@ +@[extern "lean_test_answer"] +opaque testAnswer : IO Int -- cgit v1.3.1