9 lines
151 B
Lean4
9 lines
151 B
Lean4
import LeanFfiExperiment
|
|
|
|
def main : IO Unit := do
|
|
IO.println s!"Hello, {hello}!"
|
|
|
|
let ast := parseCFile "test.c"
|
|
|
|
IO.println s!"The AST: {ast}"
|