HomeIsabelle/Phabricator

clarified partial application: immediate check of object-logic, and avoidance…

Description

clarified partial application: immediate check of object-logic, and avoidance of context within closure;

Details

Provenance
makariusAuthored on
Parents
rISABELLEe0c072a13771: merged
Branches
Unknown
Tags
Unknown