[Agda] C preprocessor with agda

[Nils Anders Danielsson]

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