3 ms·Such a pinnacle would be Agda. Haskell has mathematical holes.by mjan22640 2y agoSuch a pinnacle would be Agda. Haskell has mathematical holes.