A preprint of the paper Graded Modalities as Linear Types.
Not for redistribution.
Library may be found at...
wizard7377/idris-mult-paper
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
A preprint of the paper Graded Modalities as Linear Types.
Not for redistribution.
Library may be found at...