Hacker News
- Implementing a BTree in Haskell with GADT's http://matthew.brecknell.net/post/btree-gadt/ 10 comments
- Pattern-matching dependent types in Coq http://matthew.brecknell.net/post/pattern-matching-dependent-types-in-coq/ 6 comments coq
- C++11 universal reference pop-quiz http://matthew.brecknell.net/post/c-plus-plus-11-universal-reference-pop-quiz/ 6 comments cpp
- C++11 universal reference pop-quiz http://matthew.brecknell.net/post/c-plus-plus-11-universal-reference-pop-quiz/ 14 comments programming
- B-trees with GADTs http://matthew.brecknell.net/post/btree-gadt/ 6 comments haskell
- B-trees with GADTs in Haskell http://matthew.brecknell.net/post/btree-gadt/ 11 comments programming
- Hole-driven Haskell http://matthew.brecknell.net/posts/2013/02/26/hole-driven-haskell/ 53 comments haskell