Main.lean

-- import Qpf

-- import Qpf.Examples._01_List
-- import Qpf.Examples._02_Tree
-- import Qpf.Examples._03_Stream
-- import Qpf.Examples._04_CompMacro

-- import Qpf.Macro.Data.Example


def main : IO Unit :=
  IO.println s!"Hello, world!"