2 ms·To be fair, Agda is a fusion of Martin-Löf type theory and Haskell if my memory serves me.by danielscrubs 6y agoTo be fair, Agda is a fusion of Martin-Löf type theory and Haskell if my memory serves me.