We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Couldn't load subscription status. Retry
There was an error while loading. Please reload this page.
add a note about eliminating alt cases
offload a few notes
"virtual assignment"
interface between the typechecker and typestate...
refactoring hazard
arguments vs. locals
code indentation
consistency question
More stuff about design space
add the three possible solutions
Updated Constrained types (markdown)
to be continued...
Typestate _has_ to happen after typechecking
first cut