Granule, a statically-typed linear functional language with graded modal types (via aziis98) — discussion
#plt
