3 ms·Agda. ATS. Idris. Liquid Haskell would be medium-strength.by pron 7y agoAgda. ATS. Idris. Liquid Haskell would be medium-strength.