2 ms·These things are unrelated. Idris is strict and performs heap allocations so does require a GC.by sfvisser 6y agoThese things are unrelated. Idris is strict and performs heap allocations so does require a GC.