Examples from Mezzo #8
Description
The ownership type-class hierarchy seems to have a lot in common with Mezzo's capabilities. Therefore we could also pick some nice example of their and port it to the linear constraint world.
{{ message }}
The ownership type-class hierarchy seems to have a lot in common with Mezzo's capabilities. Therefore we could also pick some nice example of their and port it to the linear constraint world.