express VecBFF via PartialVecBFF
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Thu, 30 Jan 2014 13:01:10 +0000 (14:01 +0100)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Thu, 30 Jan 2014 13:01:10 +0000 (14:01 +0100)
commit934f2003d4f47c2af3a91cd827d75caeded7ec7a
tree903a3a699f6f64da08a60a1f54dc345057214779
parent1c3da162d500cfe885fa21b4d75847c4bcbb2aa1
express VecBFF via PartialVecBFF
BFF.agda
FreeTheorems.agda
Generic.agda