New release of the dependently-typed language Idris that focuses on practical programming with dependent types - discu.eu

Reddit

New release of the dependently-typed language Idris that focuses on practical programming with dependent types http://idris-lang.org/archives/272 14 comments 28/5/2013 programming

ANN: Idris 0.9.8 released http://idris-lang.org/archives/272 58 comments 28/5/2013 haskell

Would you like to stay up to date with Haskell? Checkout Haskell Weekly.

Related searches:

Search whole site: site:idris-lang.org

Search title: New release of the dependently-typed language Idris that focuses on practical programming with dependent types

See how to search.

Submit link to: