also show the other direction GetL-to-GetV
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Mon, 3 Feb 2014 13:41:19 +0000 (14:41 +0100)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Mon, 3 Feb 2014 13:41:19 +0000 (14:41 +0100)
commit6eff9c9c93e942ac4bf39cd6d62c0ae0d601c1ae
tree0225b7dcd6e2122de7fed65cec3cd2bf55bbc68b
parentfd78e72b45e3e78286f2c68d2abe743da0171c90
also show the other direction GetL-to-GetV
LiftGet.agda