show that Vec is an indexed Setoid
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Fri, 17 Jan 2014 05:29:48 +0000 (06:29 +0100)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Fri, 17 Jan 2014 05:29:48 +0000 (06:29 +0100)
commit5bf7ce31ca6928b13d6631591371e98933cb0b2d
treeca93cfbbf762f91892df73c8d99da57d80b62cf8
parent48a000f3dc05a9117a9b72e250569c204a4d1371
show that Vec is an indexed Setoid

We get the plain Setoid for free then.
Generic.agda