Episode 2: Edwin Brady on Idris | The Type Theory Podcast - discu.eu

Reddit

"Edwin Brady on Idris" in the Type Theory Podcast http://typetheorypodcast.com/2014/09/episode-2-edwin-brady-on-idris/ 87 comments 26/9/2014 haskell

Linked pages

Idris: A Language for Type-Driven Development http://www.idris-lang.org 258 comments

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

Related searches:

Search whole site: site:typetheorypodcast.com

Search title: Episode 2: Edwin Brady on Idris | The Type Theory Podcast

See how to search.

Submit link to: