diff options
| author | Helmut Grohne <grohne@cs.uni-bonn.de> | 2014-02-07 18:55:23 +0100 |
|---|---|---|
| committer | Helmut Grohne <grohne@cs.uni-bonn.de> | 2014-02-07 18:55:23 +0100 |
| commit | 0a1558b7cb0bccbe4a8c8411ac08d11a87547eea (patch) | |
| tree | 0ffdaa4c1dbf8cc580b08b1d4bdf2c8bfa77788c /Everything.agda | |
| parent | c9ddcf0abbb2e82eafc6dc24872244374c4f43c2 (diff) | |
| download | bidiragda-0a1558b7cb0bccbe4a8c8411ac08d11a87547eea.tar.gz | |
eliminate useless withs
Diffstat (limited to 'Everything.agda')
0 files changed, 0 insertions, 0 deletions