move bff and friends to submodule ListBFF
authorHelmut Grohne <helmut@subdivi.de>
Tue, 5 Jun 2012 13:35:09 +0000 (15:35 +0200)
committerHelmut Grohne <helmut@subdivi.de>
Tue, 5 Jun 2012 13:35:09 +0000 (15:35 +0200)
commitac8dee6708affea52aedc1ffcc5c83f8043ad91d
treef11c8161fe240233ecaee4f6c773f4075f7b564f
parenta98ec27d280b41b86fad060aff60c3e9037fc669
move bff and friends to submodule ListBFF
BFF.agda [new file with mode: 0644]
Bidir.agda