R reasonablypolymorphic.com Towards Tactic Metaprogramming in Haskell 219 points headalgorithm 6 years ago 46 comments
