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: Everett Hildenbrandt <hildenb2 AT illinois.edu>
Cc: k-user AT lists.cs.illinois.edu
Subject: Re: [[K-user] ] How to model combinator calculi?
Date: Fri, 21 Jul 2017 15:50:21 -0600
Authentication-results: illinois.edu; spf=pass smtp.mailfrom=stay AT pyrofex.net

On Fri, Jul 21, 2017 at 2:24 PM, Everett Hildenbrandt
<hildenb2 AT illinois.edu>
wrote:
> Hey Mike,
>
> I think you may find the `function` tag useful for your purposes:
...
> As for the parsing, you could try using a different KLabel (specified in
> the attributes).

Perfect on both counts, thank you!
--
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