On 02/08/2016 08:49 AM, Andrew Barnert via Python-Dev wrote:
> +{{}}
>
> (using the normal von Neumann definitions for 0={} and
> Succ(n) = n U {n})
I'm glad you know what you meant, 'cause I haven't got a clue!
:)
--
~Ethan~
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4