path: root/src/Waylean.lean

import Wayland

def main : IO Unit := do
  let disp ← Display.new .none
  IO.println s!"Hello, world! Version: {← disp.getVersion}"