summaryrefslogtreecommitdiff
path: root/Examples.agda
diff options
context:
space:
mode:
authorHelmut Grohne <grohne@cs.uni-bonn.de>2014-02-10 16:27:41 +0100
committerHelmut Grohne <grohne@cs.uni-bonn.de>2014-02-10 16:27:41 +0100
commite545ac3a23792e1905bf1b4aedb1f96ebb5a9e90 (patch)
treecb5d9e1be44789574c8d3516fddf0e974a6007fe /Examples.agda
parent6cc566c46889c5e7aafc8d75c6627137e56ab30f (diff)
downloadbidiragda-e545ac3a23792e1905bf1b4aedb1f96ebb5a9e90.tar.gz
add bffplug and bffinv functions and examples
We can now exploit getlen being rightinvertible and it works for drop and sieve.
Diffstat (limited to 'Examples.agda')
0 files changed, 0 insertions, 0 deletions