3 ms·Linear effects, exceptions, resources: Curry-Howard destructors correspondence2 points by matt_d 1y ago