LiftGet: replace vec-length-same with toList-subst
[~helmut/bidiragda.git] / LiftGet.agda
2012-09-11 Helmut GrohneLiftGet: replace vec-length-same with toList-subst
2012-09-10 Helmut GrohneLiftGet: vec-length is also known as subst (Vec A)
2012-09-04 Helmut Grohneformulate List <-> Vec isomorphism problems
2012-08-30 Helmut Grohneprove LiftGet.get-trafo-2-getlen
2012-08-30 Helmut Grohnephrase other half of bijection in LiftGet
2012-08-30 Helmut Grohneprove half of the bijection in LiftGet
2012-08-30 Helmut Grohnegive the type of different gets a name
2012-08-06 Helmut Grohneattempt isomorphism between get on List and on Vec