alexf91 / lean4-ctypes

FFI for Lean 4
Apache License 2.0
3 stars 0 forks source link

Add support for callback functions #7

Closed alexf91 closed 8 months ago

alexf91 commented 8 months ago

Similar to callbacks in Python: https://docs.python.org/3/library/ctypes.html#callback-functions

The libffi closures API should support this.