Discussion:
[Agda] C preprocessor with agda
Frederik Hanghøj Iversen
2018-02-12 18:52:17 UTC
Permalink
Can I somehow use the C preprocessor with Agda?
--
Regards
*Frederik HanghÞj Iversen*
Nils Anders Danielsson
2018-02-21 11:23:14 UTC
Permalink
Post by Frederik Hanghøj Iversen
Can I somehow use the C preprocessor with Agda?
There is no special support for the C preprocessor, but you can of
course preprocess your files manually.
--
/NAD
Frederik Hanghøj Iversen
2018-02-21 14:25:07 UTC
Permalink
Yes of course - but I'm guessing this won't work with agda-mode...
Post by Nils Anders Danielsson
Post by Frederik Hanghøj Iversen
Can I somehow use the C preprocessor with Agda?
There is no special support for the C preprocessor, but you can of
course preprocess your files manually.
--
/NAD
--
Regards
*Frederik HanghÞj Iversen*
Loading...