4 ms·
Naive question: does the new linear type support in Idris 2 get it closer to possibly not needing garbage collection?
by senorsmile 6y ago
Naive question: does the new linear type support in Idris 2 get it closer to possibly not needing garbage collection?