[Agda] C preprocessor with agda

Wed Feb 21 15:25:07 CET 2018

Yes of course - but I'm guessing this won't work with agda-mode...

On Wed, Feb 21, 2018 at 12:23 PM, Nils Anders Danielsson <nad at cse.gu.se>
wrote:

> On 2018-02-12 19:52, Frederik Hanghøj Iversen wrote:
>
>> 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*
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20180221/f3d04ed2/attachment.html>