Can I somehow use the C preprocessor with Agda? -- Regards *Frederik Hanghøj Iversen* -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.chalmers.se/pipermail/agda/attachments/20180212/2ac7fbdd/attachment.html>