clarify what "retype" creates
lsf37 opened this issue · comments
#65 raises that the description of what the retype operation does is not clear enough.
- mention the different kinds of caps in the capabilities tutorial
- reference that in the untyped tutorial
- expand the description of
retype
a little