agda/agda-stdlib — pull request #7 by glguy (2014-02-15 23:35:02+00:00)
Title: Change fixity of set union and intersection

Fixes #6

Changes these two operators to match the corresponding Data.Sum and Data.Product operators