ffi_test/Main.lean

4 lines
70 B
Text

import FfiTest
def main : IO Unit := do
IO.println s!"{myAdd 2 3}"