A paper, LLVM M.D.: A Denotational Translation Validator, mentions the source code for LLVM M.D is available here:<br><br><a href="http://llvm-md.seas.harvard.edu/">http://llvm-md.seas.harvard.edu/</a><br><div><br></div><div>

I can&#39;t seem to spot it there or on Hackage.  Anyone seen it?</div><div><br></div><div>Thanks,</div><div>Greg</div><div><br></div>