HomeIsabelle/Phabricator

Re-enable support for 32-in-64 in the interpreter.

Description

Re-enable support for 32-in-64 in the interpreter.

Details

Provenance
dcjmAuthored on Oct 25 2020, 8:08 AM
Parents
rPOLYML0a6fe8797079: Fixes for closures for bootstrap for 32-in-64.
Branches
Unknown
Tags
Unknown