k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Re: [[K-user] ] How to model combinator calculi?

From: Mike Stay <stay AT pyrofex.net>
To: "Rosu, Grigore" <grosu AT illinois.edu>
Cc: "k-user AT lists.cs.illinois.edu" <k-user AT lists.cs.illinois.edu>
Subject: Re: [[K-user] ] How to model combinator calculi?
Date: Fri, 21 Jul 2017 15:52:08 -0600
Authentication-results: illinois.edu; spf=pass smtp.mailfrom=stay AT pyrofex.net

On Fri, Jul 21, 2017 at 2:51 PM, Rosu, Grigore
<grosu AT illinois.edu>
wrote:
> Interesting that you mention this, Mike, because this is a HW exercise in
> my PL design course:
>
> https://github.com/kframework/k/tree/master/k-distribution/tutorial/1_k/1_lambda/lesson_8/exercises/SK-combinators

Oops! Sorry I missed it. I watched the videos but haven't yet gone
through the exercises.

> Since I know you are not a student taking a PL class, I can send you the
> solution :) I will do it in a private message; it may need to be updated to
> work with K 4.0, though, because the last time I used it was with K 3.6.

Hopefully Everett Hildenbrandt's answer didn't give too much away...
--
Mike Stay
CTO, Pyrofex Corp.

[[K-user] ] How to model combinator calculi?, Mike Stay, 07/21/2017
- Re: [[K-user] ] How to model combinator calculi?, Everett Hildenbrandt, 07/21/2017
  - Re: [[K-user] ] How to model combinator calculi?, Mike Stay, 07/21/2017
  - Re: [[K-user] ] How to model combinator calculi?, Mike Stay, 07/21/2017
    - Re: [[K-user] ] How to model combinator calculi?, Mike Stay, 07/22/2017
      - Re: [[K-user] ] How to model combinator calculi?, Christos Kloukinas, 07/22/2017
- RE: [[K-user] ] How to model combinator calculi?, Rosu, Grigore, 07/21/2017
  - Re: [[K-user] ] How to model combinator calculi?, Mike Stay, 07/21/2017