By Alvin Alexander. Last updated: August 1, 2017
A decent article: Ten things Idris improved over Haskell. I noticed that Martin Odersky tweeted this, and mentioned that Scala made the same improvements.
A decent article: Ten things Idris improved over Haskell. I noticed that Martin Odersky tweeted this, and mentioned that Scala made the same improvements.