Kind1 icon indicating copy to clipboard operation
Kind1 copied to clipboard

Published 20 hours ago • verified publisher icon HigherOrderCO

Feature Request: meaningful return values

Open Eloitor opened this issue 3 years ago • 0 comments

I think it would be useful that formality exits with an error code if it can't typecheck something.

Eloitor avatar Dec 18 '20 13:12 Eloitor