[Agda] A plea for Set:Set

Samuel Bronson naesten at gmail.com
Tue May 13 23:53:02 CEST 2008


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...


More information about the Agda mailing list