HomeIsabelle/Phabricator

Added support for foreign function calling.

Description

Added support for foreign function calling.

Details

Provenance
dcjmAuthored on Jul 23 2020, 5:06 PM
Parents
rPOLYML3078ee3a3193: Add initial support for FFI in interpreted version.
Branches
Unknown
Tags
Unknown