remove lemma-lookupM-insert-other in favour of lookup∘update′
[~helmut/bidiragda.git] / Structures.agda
2014-04-03 Helmut GrohneMerge branch feature-shaped into master
2014-03-10 Helmut Grohneimplement a bff on a shaped source type
2014-03-07 Helmut Grohneadd a Functor structure