ffi_test/Main.lean

5 lines
70 B
Text
Raw Permalink Normal View History

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