diff options
| author | Helmut Grohne <grohne@cs.uni-bonn.de> | 2014-01-30 14:23:10 +0100 |
|---|---|---|
| committer | Helmut Grohne <grohne@cs.uni-bonn.de> | 2014-01-30 14:23:10 +0100 |
| commit | e227314c11a17efa2e41ee8756041c4e5b747792 (patch) | |
| tree | 1c0c8b7a6643aabb4fe5d9cd46a333b5db7158f1 /FreeTheorems.agda | |
| parent | ffd72d6471ec0166b4dcb4f6b622bcc1c4aafcbf (diff) | |
| download | bidiragda-e227314c11a17efa2e41ee8756041c4e5b747792.tar.gz | |
fully allow partial get functions
By choosing gl₁ = suc and gl₂ = id, the tail function can now be
bidirectionalized.
Diffstat (limited to 'FreeTheorems.agda')
0 files changed, 0 insertions, 0 deletions