quint icon indicating copy to clipboard operation
quint copied to clipboard

Published 20 hours ago • verified publisher icon informalsystems

Promote effect and type checking errors in repl to errors

Open shonfeder opened this issue 1 year ago • 0 comments

Apparently this will fix #428

shonfeder avatar Jan 09 '24 18:01 shonfeder