2 ms·Haskell has Djinn. Not as powerful as Agda.by judk 13y agoHaskell has Djinn. Not as powerful as Agda.