Re: Combinator 6 (Turing Universality, the Mu operator)

2018-11-01 Thread Bruno Marchal
> On 31 Oct 2018, at 13:47, Philip Thrift wrote: > > > Bruno, > > Have you looked at various SKI interpreters around that could be used? > Several now (on GitHub) in JavaScript. Also in Haskell. And there's the > Unlambda system by David Madore. A long time ago, I have programmed in LISP a

Re: Combinator 6 (Turing Universality, the Mu operator)

2018-10-31 Thread Philip Thrift
Bruno, Have you looked at various SKI interpreters around that could be used? Several now (on GitHub) in JavaScript. Also in Haskell. And there's the Unlambda system by David Madore. - pt > > -- You received this message because you are subscribed to the Google Groups "Everything List"

Combinator 6 (Turing Universality, the Mu operator)

2018-10-31 Thread Bruno Marchal
Hi, Last time I gave an exercise, and a big part of the solution. See below (*). Let me recall what happened, and illustrate perhaps a little more. Apology for the type errors, please asks any question at any steps of your reading from combinators 1 to here and of course further. No doubt tha