[Agda] Again, a question on records
David Leduc
david.leduc6 at googlemail.com
Mon Sep 20 05:07:22 CEST 2010
Previous message:
[Agda] Again, a question on records
Next message:
[Agda] Again, a question on records
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
>
But what about {| carrier := carrier t1 ; op := fun x y => x |}?
Oops!!!
Previous message:
[Agda] Again, a question on records
Next message:
[Agda] Again, a question on records
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
More information about the Agda mailing list