diff options
| author | Helmut Grohne <grohne@cs.uni-bonn.de> | 2014-02-05 15:54:54 +0100 |
|---|---|---|
| committer | Helmut Grohne <grohne@cs.uni-bonn.de> | 2014-02-05 15:54:54 +0100 |
| commit | 5f11a53df7da1df3757cf8fd54652f78a50afbf0 (patch) | |
| tree | d059f5ef2c48f1821cfe6c2d966c7976d6114249 /Everything.agda | |
| parent | 5f5d218d778d949da1c3cc6d227ddbb1f5bfeaf4 (diff) | |
| download | bidiragda-5f11a53df7da1df3757cf8fd54652f78a50afbf0.tar.gz | |
strip even more implementation detail in Precond
Diffstat (limited to 'Everything.agda')
0 files changed, 0 insertions, 0 deletions