add example applications of bff
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Fri, 12 Jun 2015 07:45:07 +0000 (09:45 +0200)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Fri, 12 Jun 2015 07:45:07 +0000 (09:45 +0200)
commit8c3cdca7cfe1173094ff42ca2f844a352153fc97
tree0ca393bf047bd17bd0c84ee59149d35e64f65337
parentfed01a1e7869ee3f0dab9784fa2bcc8565b9e60d
add example applications of bff
Examples.agda