• MARCHE Claude's avatar
    ITP: transformations with args only take strings as arguments · 63f6b075
    MARCHE Claude authored
    "parsing" of these strings is delayed in the transformations themselves,
    because in case such an argument must be interpreted as a term, the
    task itself is needed do perform name resolution.
    
    Incidentally, saving transformations with arguments in sessions is not an
    issue anymore
    63f6b075
why3shell.ml 22.3 KB