diff options
| author | Helmut Grohne <grohne@cs.uni-bonn.de> | 2014-02-14 16:32:20 +0100 |
|---|---|---|
| committer | Helmut Grohne <grohne@cs.uni-bonn.de> | 2014-02-14 16:32:20 +0100 |
| commit | 0ff83361e08eec6d6a5ab9a44f35b0b8590d2031 (patch) | |
| tree | 02c8c43dd8aaf494bb9d74ce3677bd0bfc0941bc /Generic.agda | |
| parent | e545ac3a23792e1905bf1b4aedb1f96ebb5a9e90 (diff) | |
| download | bidiragda-0ff83361e08eec6d6a5ab9a44f35b0b8590d2031.tar.gz | |
add back original bff function before shape updates
Diffstat (limited to 'Generic.agda')
0 files changed, 0 insertions, 0 deletions