HomeIsabelle/Phabricator

Add initial support for FFI in interpreted version.