- Scala vs Idris: Dependent Types, Now and in the Future http://www.infoq.com/presentations/scala-idris 6 comments haskell
- Scala vs Idris: Dependent Types, Now and in the Future http://www.infoq.com/presentations/scala-idris 11 comments scala
Linking pages
Linked pages
Would you like to stay up to date with Haskell? Checkout Haskell
Weekly.
Related searches:
Search whole site: site:infoq.com
Search title: Scala vs Idris: Dependent Types, Now and in the Future
See how to search.