rfcbot
[ home ]
joshlf's proposals for review
merge:
Can references to uninhabited types ever be valid?
proposal
|
checklist
merge:
What are the values of a union type? (in particular, what is the validity invariant of a union)
proposal
|
checklist