attempt isomorphism between get on List and on Vec
authorHelmut Grohne <helmut@subdivi.de>
Mon, 6 Aug 2012 17:18:41 +0000 (19:18 +0200)
committerHelmut Grohne <helmut@subdivi.de>
Mon, 6 Aug 2012 17:18:41 +0000 (19:18 +0200)
commit91b9c0fdca791d35ab7bde25b7d867d00bbd9975
treed18072e2449bf98d17b1da9b4825f938be9cca1a
parent61d74dd8e6cffd27e53a1a93c5560bbdf346941f
attempt isomorphism between get on List and on Vec

Thus far we have found maps in both directions but lack statements about
the composition of them.
LiftGet.agda [new file with mode: 0644]