[Agda] C-style macros in Agda :)
Nils Anders Danielsson
nad at chalmers.se
Mon Feb 4 21:00:36 CET 2013
Previous message:
[Agda] C-style macros in Agda :)
Next message:
[Agda] predicate for sub-type
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
On 2013-02-04 20:56, Dmytro Starosud wrote: >
Do you mean something like this?
Yes. -- /NAD
Previous message:
[Agda] C-style macros in Agda :)
Next message:
[Agda] predicate for sub-type
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
More information about the Agda mailing list