Hacker News new | ask | show | jobs
Prove Your Haskell for Great Safety: Dependent Types (fpcomplete.com)
16 points by jc79 4486 days ago
1 comments

Very nice writeup. BTW, I signed up for a 1 year personal subscription to fpcomplete earlier this year - even though I only use it an hour or two a week for brushing up on my Haskell, I really like it.