remove lemma-lookupM-insert in favour of lookup∘update
[~helmut/bidiragda.git] / GetTypes.agda
2015-06-09 Helmut Grohnedrop barred members from GetTypes
2015-06-09 Helmut Grohnedrop the Function.Equality requirement from GetTypes
2014-10-14 Helmut Grohnedrop the injection requirement for gl₁
2014-04-03 Helmut GrohneMerge branch feature-shaped into master
2014-04-03 Helmut Grohnedrop PartialShapeVec
2014-03-10 Helmut Grohnealso allow Shaped types for the view
2014-03-10 Helmut Grohneimplement a bff on a shaped source type
2014-02-17 Helmut GrohneMerge branch feature-partial-getlen into master
2014-02-04 Helmut Grohneadd convenience members to PartialVecVec.Get
2014-02-04 Helmut GrohneMerge branch feature-get-record into feature-partial...
2014-02-03 Helmut GrohneMerge branch feature-get-record into master
2014-01-30 Helmut Grohneallow importing of Bidir without any postulates