get rid of the ListBFF implementation
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Mon, 16 Dec 2013 14:47:53 +0000 (15:47 +0100)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Mon, 16 Dec 2013 14:47:53 +0000 (15:47 +0100)
commit17fc54ef9c4367f89464290675cbcaaef0163301
tree0aebc52c068006d0c17a2427838975c59190f775
parentfb77f5dcc718379437a162562efb16811d271f2a
get rid of the ListBFF implementation

It is unused, has no proofs and starts to get into the way of
refactoring the union function type.
BFF.agda