summaryrefslogtreecommitdiff
path: root/BFFPlug.agda
AgeCommit message (Expand)Author
2014-02-10add bffplug and bffinv functions and examplesHelmut Grohne