Graded types and ASAP

[csabahruska]

Could graded types help ASAP to be more static or precise?
Dominic Orchard - Quantitative program reasoning in Granule via graded modal types | Code Mesh LDN (youtube)
https://granule-project.github.io