gue5t 9 years ago See also "Coq: The world's best macro assembler?": http://research.microsoft.com/en-us/um/people/nick/coqasm.pd...
See also "Coq: The world's best macro assembler?": http://research.microsoft.com/en-us/um/people/nick/coqasm.pd...
Discussed at the time: https://news.ycombinator.com/item?id=7408807.