N nickbenton.name Coq: The World's Best Macro Assembler? (2013) [pdf] 167 points addaon 11 months ago 74 comments
