[Agda] Nested with
Ben Horsfall
ben.horsfall at gmail.com
Fri Jun 5 03:09:48 CEST 2009
Previous message:
[Agda] IEEE ESCS 2009 Workshop Call-for-papers
Next message:
[Agda] Nested with
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
Could someone post/direct me to an example of a nested with-expression? Ben
Previous message:
[Agda] IEEE ESCS 2009 Workshop Call-for-papers
Next message:
[Agda] Nested with
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
More information about the Agda mailing list