diff options
| author | Helmut Grohne <grohne@cs.uni-bonn.de> | 2014-02-14 16:35:25 +0100 |
|---|---|---|
| committer | Helmut Grohne <grohne@cs.uni-bonn.de> | 2014-02-14 16:35:25 +0100 |
| commit | f4e7869c1d203fcf406b01e34d6276adf49fb79a (patch) | |
| tree | 02c8c43dd8aaf494bb9d74ce3677bd0bfc0941bc /Generic.agda | |
| parent | 04b7bf8fabf64a2414d64cfb385f6a397da0a0fb (diff) | |
| parent | 0ff83361e08eec6d6a5ab9a44f35b0b8590d2031 (diff) | |
| download | bidiragda-f4e7869c1d203fcf406b01e34d6276adf49fb79a.tar.gz | |
Merge branch feature-shape-update into master
The branch enables shape updates in variety of flavours:
* explicitly passing the desired target shape
* providing a plugin sput : ℕ → ℕ → Maybe ℕ
* providing a right-inverse to getlen
It also provides a backwards compatibility function to facilitate
shape-retaining updates.
Diffstat (limited to 'Generic.agda')
0 files changed, 0 insertions, 0 deletions