3 ms·ATS2 would give you all the FP + linear types + a proof system. No “capabilities” tho.by toastal 2y agoATS2 would give you all the FP + linear types + a proof system. No “capabilities” tho.