4 lines
44 B
Text
4 lines
44 B
Text
import FFI
|
|
|
|
#eval myAdd 3 4
|
|
#eval myLeanFun
|
import FFI
|
|
|
|
#eval myAdd 3 4
|
|
#eval myLeanFun
|