3 ms·Granule – A statically-typed linear functional language with graded modal types2 points by aziis98 10mo ago