5 ms·
Prove Your Haskell for Great Safety: Dependent Types
- mark_l_watson 13y agoVery 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.