diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2018-11-25 10:59:34 +0100 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2018-11-25 10:59:34 +0100 |
| commit | a1f5d673583c353eee32af83c78983aa22527e0a (patch) | |
| tree | ce5786862fefd40c0fff0a805ab32e326a4cb5cb /CheckInsert.agda | |
| parent | c835e655a05c73f7dd2dc46c652be3d43e91a4b7 (diff) | |
| download | bidiragda-a1f5d673583c353eee32af83c78983aa22527e0a.tar.gz | |
make the setoid parameter to sequenceV-cong explicit
Later versions of agda will be unable to infer it unambiguously.
Diffstat (limited to 'CheckInsert.agda')
0 files changed, 0 insertions, 0 deletions