HomeIsabelle/Phabricator

Implement indexed case.

Description

Implement indexed case.

Details

Provenance
dcjmAuthored on Feb 18 2021, 2:22 PM
Parents
rPOLYMLb62670f0b474: Fix moving arguments when calling the interpreter.
Branches
Unknown
Tags
Unknown