sym result of lemma-lookupM-{i,checkI}nsert-other
[~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