K-user mailing list

[David Lazar <lazar6 AT illinois.edu>]

Stephen,

Note that the lambda calculi we have defined are a bit outdated
relative to the rest of the tool. That is, we currently haven't
integrated them very well with krun; they still use an older mechanism
for running programs.

For example, to run all of the PCF programs (defined in
pcf-untyped-programs.k), you'd type:

maude pcf-untyped-test.m

Cheers,
David

On Tue, Nov 15, 2011 at 2:22 PM, David Lazar 
<lazar6 AT illinois.edu>
 wrote:
> Stephen,
>
> This is accidental. I think someone created the directory but forgot
> to add a definition :-).
>
> PCF is perhaps the closest thing we have to untyped lambda calculus.
> The PCF definition is located in
> examples/languages/classic/pcf/untyped. Note that this definition is
> environment-based. If you want to create a substitution-based
> definition, take a look at simply-typed lambda calculus and
> modules/lambda.k.
>
> Hope this helps.
>
> Cheers,
> David
>
> On Tue, Nov 15, 2011 at 2:11 PM, Stephen Chang 
> <stchang AT ccs.neu.edu>
>  wrote:
>> I noticed that the directory examples/languages/classic/lambda/untyped is 
>> empty.
>>
>> Similarly, the examples are missing from the online tool:
>> https://fmse.info.uaic.ro/tools/8/
>>
>> Is this intentional or accidental? I'm trying to model an untyped
>> lambda calculus so these examples would be most useful for me.
>> _______________________________________________
>> k-user mailing list
>> k-user AT cs.uiuc.edu
>> http://lists.cs.uiuc.edu/mailman/listinfo/k-user
>>
>