Main.lean

-- import PrettyPrinter
import EggTactic
import EggTactic.Test
import EggTactic.Egraph
import EggTactic.Sexp

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