Scala vs Idris: Dependent Types, Now and in the Future - discu.eu

Reddit

Scala vs Idris: Dependent Types, Now and in the Future http://www.infoq.com/presentations/scala-idris 6 comments 6/12/2013 haskell

Scala vs Idris: Dependent Types, Now and in the Future http://www.infoq.com/presentations/scala-idris 11 comments 5/12/2013 scala