1 files changed, 6 insertions, 0 deletions
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