improve notation of theorem-1 using local bindings
[~helmut/bidiragda.git] / Examples.agda
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