Native.lean « Wayland « lib - haschu/waylean.git - [WIP] A River window manager implemented in Lean 4.

summary refs log tree commit diff

path: root/lib/Wayland/Native.lean

blob: ded2e3a52853d82351eb567c32658953ebe18a3a (plain)

1 2	`@[extern "lean_test_answer"] opaque testAnswer : IO Int`