HomeIsabelle/Phabricator

Handle calls from the interpreter to functions with more than one argument.

Description

Handle calls from the interpreter to functions with more than one argument.

Details

Provenance
dcjmAuthored on Jan 29 2021, 7:36 PM
Parents
rPOLYML3f6aec9bb41f: Implement constants in the constant area.
Branches
Unknown
Tags
Unknown