4 lines
60 B
Text
4 lines
60 B
Text
import FFI
|
|
|
|
def main : IO Unit :=
|
|
IO.println <| myAdd 1 2
|
import FFI
|
|
|
|
def main : IO Unit :=
|
|
IO.println <| myAdd 1 2
|