Add custom annotation for decreasing arguments (#21) · Issues · Justin Andresen / haskell-to-coq-compiler