From e545ac3a23792e1905bf1b4aedb1f96ebb5a9e90 Mon Sep 17 00:00:00 2001
From: Helmut Grohne <grohne@cs.uni-bonn.de>
Date: Mon, 10 Feb 2014 16:27:41 +0100
Subject: add bffplug and bffinv functions and examples

We can now exploit getlen being rightinvertible and it works for drop
and sieve.
---
 Everything.agda | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Everything.agda')

diff --git a/Everything.agda b/Everything.agda
index e1734a9..e37c76e 100644
--- a/Everything.agda
+++ b/Everything.agda
@@ -11,3 +11,4 @@ import Bidir
 import LiftGet
 import Precond
 import Examples
+import BFFPlug
-- 
cgit v1.2.3