K-user mailing list

[David Lazar <lazar6 AT illinois.edu>]

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
>