k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[K-user] untyped lambda calculi examples missing?

From: Stephen Chang <stchang AT ccs.neu.edu>
To: k-user AT cs.uiuc.edu
Subject: [K-user] untyped lambda calculi examples missing?
Date: Tue, 15 Nov 2011 15:11:16 -0500
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user>
List-id: <k-user.cs.uiuc.edu>

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] untyped lambda calculi examples missing?, Stephen Chang, 11/15/2011
- Re: [K-user] untyped lambda calculi examples missing?, David Lazar, 11/15/2011
  - Re: [K-user] untyped lambda calculi examples missing?, David Lazar, 11/15/2011
  - Re: [K-user] untyped lambda calculi examples missing?, Stephen Chang, 11/15/2011
    - Re: [K-user] untyped lambda calculi examples missing?, David Lazar, 11/15/2011
      - Re: [K-user] untyped lambda calculi examples missing?, Stephen Chang, 11/15/2011
- <Possible follow-up(s)>
- Re: [K-user] untyped lambda calculi examples missing?, Rosu, Grigore, 11/15/2011
  - Re: [K-user] untyped lambda calculi examples missing?, Traian Florin Șerbănuță, 11/15/2011
    - Re: [K-user] untyped lambda calculi examples missing?, Stephen Chang, 11/15/2011
      - Re: [K-user] untyped lambda calculi examples missing?, Traian Florin Șerbănuță, 11/15/2011
    - Message not available
      - Re: [K-user] untyped lambda calculi examples missing?, Chucky Ellison, 11/15/2011