[Agda] Again, a question on records

David Leduc david.leduc6 at googlemail.com
Mon Sep 20 05:07:22 CEST 2010


> But what about {| carrier := carrier t1 ; op := fun x y => x |}?

Oops!!!


More information about the Agda mailing list