Hacker News new | ask | show | jobs
Tactic Metaprogramming in Haskell (2018) (totbwf.github.io)
13 points by 5n 1246 days ago