diff options
| author | Helmut Grohne <grohne@cs.uni-bonn.de> | 2014-02-03 14:41:19 +0100 |
|---|---|---|
| committer | Helmut Grohne <grohne@cs.uni-bonn.de> | 2014-02-03 14:41:19 +0100 |
| commit | 6eff9c9c93e942ac4bf39cd6d62c0ae0d601c1ae (patch) | |
| tree | 0225b7dcd6e2122de7fed65cec3cd2bf55bbc68b /Generic.agda | |
| parent | fd78e72b45e3e78286f2c68d2abe743da0171c90 (diff) | |
| download | bidiragda-6eff9c9c93e942ac4bf39cd6d62c0ae0d601c1ae.tar.gz | |
also show the other direction GetL-to-GetV
Diffstat (limited to 'Generic.agda')
0 files changed, 0 insertions, 0 deletions