On Tue, May 13, 2008 at 5:42 PM, Thorsten Altenkirch <txa at cs.nott.ac.uk> wrote: > You have to pay the equivalent of EUR 1.50 into the Russell Memorial Fund, > each time you use it. For details see > http://en.wikipedia.org/wiki/Russell%27s_paradox I'm at a bit of a loss as to how you would express this in Agda...