agda@lists.chalmers.se
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*
2 Replies
4 Views
Permalink to this page
Disable enhanced parsing
Thread Navigation
Frederik Hanghøj Iversen
2018-02-12 18:52:17 UTC
Nils Anders Danielsson
2018-02-21 11:23:14 UTC
Frederik Hanghøj Iversen
2018-02-21 14:25:07 UTC
Loading...