Type checking questions
bernauer at inf.ethz.ch
Thu Nov 3 19:35:06 GMT 2011
On Thu, Nov 03, 2011 at 07:07:39PM +0100, Thorkil Naur wrote:
> Finally, a bit of curiosity: I know that language-c is used by c2hs. Are
> you aware of other things that language-c is being used for presently?
I am using it to implement a source to source transformation that
introduces a compiler-assisted thread abstraction for
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Size: 198 bytes
Desc: Digital signature
More information about the Language-c