mcqc icon indicating copy to clipboard operation
mcqc copied to clipboard

Published 20 hours ago • verified publisher icon mit-pdos

Outline expr:fix

Open elefthei opened this issue 5 years ago • 0 comments

Fixpoint expressions are annoying, because they capture the enclosing scope and must be outlined together with their scope references to work in C++

elefthei avatar Mar 05 '19 03:03 elefthei