[Agda] C-style macros in Agda :)

Nils Anders Danielsson nad at chalmers.se
Mon Feb 4 21:00:36 CET 2013


On 2013-02-04 20:56, Dmytro Starosud wrote:
> Do you mean something like this?

Yes.

-- 
/NAD


More information about the Agda mailing list