Haskell DC

Dependently Typed Programming in Idris: A Demo by David Raymond Christiansen haskelldc.github.io/idris-drc-3-26…

The Haskell Cheatsheet cheatsheet.codeslower.com

An Introduction to Recursion Schemes and Codata patrickthomson.ghost.io/an-introductio…

Our next meetup is 1/27 @ uberoffices

New blog post for @HaskellDC bit.ly/1fpZ1A8

For the meetup group meetup.com/Haskell-DC/ follow @HaskellDC. Use #haskelldc for Haskell DC tweets.

@HaskellDC is for meetup group meetup.com/Haskell-DC/ Use #haskelldc for Haskell DC tweets