Type checking questions

Alexander Bernauer 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
resource-constrained systems.

[1] https://github.com/copton/ocram/


-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 198 bytes
Desc: Digital signature
URL: <http://projects.haskell.org/pipermail/language-c/attachments/20111103/24b97402/attachment.pgp>

More information about the Language-c mailing list