HomeIsabelle/Phabricator

Fix arbitrary precision add and subtract for 32-in-64. Fix merge bug.

Description

Fix arbitrary precision add and subtract for 32-in-64. Fix merge bug.

Details

Provenance
dcjmAuthored on Mar 28 2021, 4:09 PM
Parents
rPOLYML6e1a68b807af: Implement RTS calls and FFI.
Branches
Unknown
Tags
Unknown