path: root/src/Waylean.lean

import Wayland

def main : IO Unit := do
  let answer ← testAnswer
  IO.println s!"Hello, world! The answer is {answer}."