HomeIsabelle/Phabricator

Implement test of tag bit. Fix bug in closure construction. Work around…

Description

Implement test of tag bit. Fix bug in closure construction. Work around overflow in constants.

Details

Provenance
dcjmAuthored on Feb 8 2021, 7:05 PM
Parents
rPOLYMLda501f7a281d: Implement comparisons.
Branches
Unknown
Tags
Unknown