Example: show that PairVec is Shaped
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Mon, 10 Mar 2014 12:32:11 +0000 (13:32 +0100)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Mon, 10 Mar 2014 12:32:11 +0000 (13:32 +0100)
commitc3467438fa8b9ca068fd08b599861cb6be8aa931
tree977cf65d41d74f11bb71a140e4f343ff0c76357e
parent2472958f099a2535cf4fba93e68b91ea164a0295
Example: show that PairVec is Shaped

Example inspired in VoigtlaenderHMW13. Note that Vec (α × β) (length s)
is not Shaped in this way since its real index is only a number.
Examples.agda