4 ms·Haskell is pretty old and I'm gonna use it until Idris is production-readyby nilved 10y agoHaskell is pretty old and I'm gonna use it until Idris is production-ready