Tactic Metaprogramming in Haskell (2018)totbwf.github.io13 points·5n··0 commentsOpen articleSaveView on HN