make the setoid parameter to sequenceV-cong explicit
authorHelmut Grohne <helmut@subdivi.de>
Sun, 25 Nov 2018 09:59:34 +0000 (10:59 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Sun, 25 Nov 2018 09:59:34 +0000 (10:59 +0100)
commita1f5d673583c353eee32af83c78983aa22527e0a
treece5786862fefd40c0fff0a805ab32e326a4cb5cb
parentc835e655a05c73f7dd2dc46c652be3d43e91a4b7
make the setoid parameter to sequenceV-cong explicit

Later versions of agda will be unable to infer it unambiguously.
Bidir.agda