diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2018-11-25 10:35:23 +0100 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2018-11-25 10:35:23 +0100 |
| commit | c835e655a05c73f7dd2dc46c652be3d43e91a4b7 (patch) | |
| tree | 3089ac9a52dfd62e931926cb5900d9b266f0f298 /Instances.agda | |
| parent | 04e312472d4737815cf6c37258b547673faa0b91 (diff) | |
| download | bidiragda-c835e655a05c73f7dd2dc46c652be3d43e91a4b7.tar.gz | |
reorganize equality imports
Since we are working with multiple setoids now, it makes more sense to
qualify their members. Follow the "as P" pattern from the standard
library. Also stop importing those symbols from Relation.Binary.Core as
later agda-stdlib versions will move them away. Rather than EqSetoid or
PropEq, use P.setoid consistently.
Diffstat (limited to 'Instances.agda')
0 files changed, 0 insertions, 0 deletions