[Haskell-cafe] LLVM M.D. source code?

Greg Fitzgerald garious at gmail.com
Wed May 9 03:42:40 CEST 2012

A paper, LLVM M.D.: A Denotational Translation Validator, mentions the
source code for LLVM M.D is available here:


I can't seem to spot it there or on Hackage.  Anyone seen it?

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20120508/2cb7fc40/attachment.htm>

More information about the Haskell-Cafe mailing list