Four defects in how Mut is typed: message polarity, an unclosable refinement, and op= as a rebind - #63

Four defects in how Mut is typed: message polarity, an unclosable refinement, and op= as a rebind#63

dpmills merged 2 commits into

dmills/annotation-fixupscambra-dev/cambra:dmills/annotation-fixupsfrom

dmills/mut-typing-fixescambra-dev/cambra:dmills/mut-typing-fixesCopy head branch name to clipboard