Scala vs Idris: Dependent Types, Now and in the Future #1 Post by milessabin » Thu, Dec 05, 2013, 8:40 AM UTC Scala vs Idris: Dependent Types, Now and in the Futureinfoq.com