drop the injection requirement for gl₁
[~helmut/bidiragda.git] / Examples.agda
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