A runtime guard for (protecting your precious bodily fluids) implementing linear types.
See the docs for more.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
A runtime guard for (protecting your precious bodily fluids) implementing linear types.
See the docs for more.