diff options
| author | Helmut Grohne <grohne@cs.uni-bonn.de> | 2014-01-30 14:01:10 +0100 |
|---|---|---|
| committer | Helmut Grohne <grohne@cs.uni-bonn.de> | 2014-01-30 14:01:10 +0100 |
| commit | 934f2003d4f47c2af3a91cd827d75caeded7ec7a (patch) | |
| tree | 903a3a699f6f64da08a60a1f54dc345057214779 /Bidir.agda | |
| parent | 1c3da162d500cfe885fa21b4d75847c4bcbb2aa1 (diff) | |
| download | bidiragda-934f2003d4f47c2af3a91cd827d75caeded7ec7a.tar.gz | |
express VecBFF via PartialVecBFF
Diffstat (limited to 'Bidir.agda')
0 files changed, 0 insertions, 0 deletions