HomeIsabelle/Phabricator

Removed stack closure detection since it isn't used and greatly simplified the…

Description

Removed stack closure detection since it isn't used and greatly simplified the conversion of
front-end code=tree into the back-end code-tree.

Details

Provenance
dcjmAuthored on Dec 11 2021, 8:53 PM
Parents
rPOLYML6d4a81d007ab: Add a container type to the argument types. This should allow code to return a…
Branches
Unknown
Tags
Unknown