lean-formalization/skclisp/Main.lean

import Skclisp

def main : IO Unit :=
  IO.println s!"Hello, {hello}!"