remove lemma-lookupM-insert in favour of lookup∘update
[~helmut/bidiragda.git] / Examples.agda
2018-01-01 Helmut Grohnefix compilation with agda 2.5.3, agda-stdlib 0.14
2015-06-12 Helmut Grohneadd example applications of bff
2015-06-09 Helmut Grohnedrop the Function.Equality requirement from GetTypes
2014-10-14 Helmut Grohnedrop the injection requirement for gl₁
2014-06-06 Helmut Grohnedrop-suc is cong pred
2014-04-03 Helmut GrohneMerge branch feature-shaped into master
2014-03-10 Helmut GrohneExample: show that PairVec is Shaped
2014-02-24 Helmut Grohneadd intersperse as another example
2014-02-17 Helmut Grohneuse drop, tail and take from Data.Vec in examples
2014-02-17 Helmut Grohneswitch examples to PartialVecVec
2014-02-17 Helmut GrohneMerge branch feature-partial-getlen into master
2014-02-10 Helmut GrohneMerge branch master into feature-shape-update
2014-02-10 Helmut Grohneadd sieve to examples
2014-02-05 Helmut Grohneadd examples