max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

fix: delete duplicate improperly case Ffi.lean

Browse source
This commit is contained in:
tydeu 2022-06-09 20:29:44 -04:00
parent 5fdf97db20
commit 049259b47f
1 changed files with 0 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
examples/ffi/lib/lean/Ffi.lean
View file

@ -1,5 +0,0 @@
@[extern "my_add"]
constant myAdd : UInt32 → UInt32 → UInt32
@[extern "my_lean_fun"]
constant myLeanFun : IO PUnit