HomeIsabelle/Phabricator

Implement constants in the code-generator.

Description

Implement constants in the code-generator.

Details

Provenance
dcjmAuthored on Nov 24 2021, 7:18 PM
Parents
rPOLYMLd77aed1878d1: Enough to be able to code-generate the identity function.
Branches
Unknown
Tags
Unknown