Haskell DC · Apr 4, 2014 · 9:06 PM UTC

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

Haskell DC · Mar 21, 2014 · 2:35 PM UTC

Haskell DC · Mar 20, 2014 · 3:23 PM UTC

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

Haskell DC · Jan 21, 2014 · 2:53 PM UTC

Our next meetup is 1/27 @ uberoffices

elegantcoding · Dec 13, 2013 · 1:49 PM UTC

Haskell DC retweeted

Haskell DC · Dec 4, 2013 · 2:47 PM UTC

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

Haskell DC · Dec 2, 2013 · 3:39 PM UTC

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