Chromatic Leaves | White paper: Compile Time TDD Coverage with Idris - discu.eu

Lobsters

White paper: Compile Time TDD Coverage with Idris http://chromaticleaves.com/posts/idris-and-dependent-types.html 10 comments 8/5/2014 programming

Reddit

Compile Time TDD Coverage http://chromaticleaves.com/posts/idris-and-dependent-types.html 10 comments 8/5/2014 haskell

Linked pages

Haskell Platform http://www.haskell.org/platform/ 242 comments

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

Related searches:

Search whole site: site:chromaticleaves.com

Search title: Chromatic Leaves | White paper: Compile Time TDD Coverage with Idris

See how to search.

Submit link to: