3 ms·Granule, a statically-typed linear functional language with graded modal types1 points by birdculture 11mo ago