define a bff over Vec
authorHelmut Grohne <helmut@subdivi.de>
Tue, 5 Jun 2012 13:37:18 +0000 (15:37 +0200)
committerHelmut Grohne <helmut@subdivi.de>
Tue, 5 Jun 2012 13:37:18 +0000 (15:37 +0200)
commita764e1652d74c911a3a8312b6734ff49d8dfccee
treedd640560313aaef1448a8e90db4a684c701aac31
parentac8dee6708affea52aedc1ffcc5c83f8043ad91d
define a bff over Vec
BFF.agda