[FoRK] Well... was Re: Uh oh. Retraction.
geege4 at gmail.com
Thu Oct 24 16:16:30 PDT 2013
Fuckers gonna ...
On Oct 24, 2013 4:46 PM, "Gregory Alan Bolcer" <greg at bolcer.org> wrote:
> Gawd, I have to update my email filters.
> On 10/24/2013 8:30 AM, Jeff Bone wrote:
>> This could be a "bug" in Hindley-Milner itself or its particular
>> implementation in Haskell. Depending on which formulations of set theory
>> and term unification are used, the Axiom of Choice may indeed be axiomatic
>> or derived. Martin-Löf type theory does not entail that AoC --> LEM, but
>> depending on details, this could have crept in...
>> Tl;dr: retraction tentative, more investigation needed but I'm not going
>> to do it now, too busy fiddling with delimited continuations. ;-)
>> Chilly here in Stockholm but was warmer here at 20:00 last night than NY
>> or Seattle at the same time.
> greg at bolcer.org, http://bolcer.org, c: +1.714.928.5476
> FoRK mailing list
More information about the FoRK