[Agda] Converting Relation.Unary to be universe-polymorphic

[Nils Anders Danielsson]

On 2009-12-11 20:29, Daniel Peebles wrote:
> I just used a lowercase letter for Pred because that's what was
> already there. I'll take note of your points about conventions though,
> and will try to conform to them!

The conventions are not documented, and have changed over time, so I
understand that they can be hard to follow. :)

--
/NAD