Haskell DC (@HaskellDC) profile picture

Haskell DC

@HaskellDC
Joined December 2013
  • Tweets8
  • Following8
  • Followers5
Dependently Typed Programming in Idris: A Demo by David Raymond Christiansen haskelldc.github.io/idris-dr…
1
The Haskell Cheatsheet cheatsheet.codeslower.com/
1
1
An Introduction to Recursion Schemes and Codata patrickthomson.ghost.io/an-i…
1
Our next meetup is 1/27 @ uberoffices
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
1

No more items