HomeIsabelle/Phabricator

Complete closures for Unix 64-bit by implementing structs as arguments and…

Description

Complete closures for Unix 64-bit by implementing structs as arguments and results.

Details

Provenance
dcjmAuthored on May 25 2019, 2:31 PM
Parents
rPOLYML3c59e5fcd416: Small fix to FFI RTS call for Unix.
Branches
Unknown
Tags
Unknown