diff options
| author | Helmut Grohne <grohne@cs.uni-bonn.de> | 2013-12-16 15:47:53 +0100 |
|---|---|---|
| committer | Helmut Grohne <grohne@cs.uni-bonn.de> | 2013-12-16 15:47:53 +0100 |
| commit | 17fc54ef9c4367f89464290675cbcaaef0163301 (patch) | |
| tree | 0aebc52c068006d0c17a2427838975c59190f775 /Generic.agda | |
| parent | fb77f5dcc718379437a162562efb16811d271f2a (diff) | |
| download | bidiragda-17fc54ef9c4367f89464290675cbcaaef0163301.tar.gz | |
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.
Diffstat (limited to 'Generic.agda')
0 files changed, 0 insertions, 0 deletions