add lemma-lookupM-fromFunc
[~helmut/bidiragda.git] / Examples.agda
2014-02-05 Helmut Grohneadd examples