- I'll send the model I'm toying with your way.
- I was using free-identifiers/free-vars to define the wellformedness of
environments and types. I've seen it used in other formalisms, but I'm not
sure just how widely used it is relative to other potential features.
On Wed, Oct 14, 2015 at 3:54 PM
Thanks!
Regarding feature (1), that might be hard to implement because of the
internal design of the freshener. But could you send me the Redex model in
question so I can poke at it anyways?
`free-identifiers` should be pretty easy to make. What does it tend to be
useful for?
Paul
On Wed, Oct 1
On Wednesday, October 14, 2015 at 7:47:27 AM UTC-4, Andrew Kent wrote:
> On Saturday, September 19, 2015 at 1:21:19 PM UTC-4, Robby Findler wrote:
> > Paul Stansifer has been implementing the ideas from his dissertation
> > work in Redex and is now ready to share them with the world.
> >
> > Thank
On Saturday, September 19, 2015 at 1:21:19 PM UTC-4, Robby Findler wrote:
> Paul Stansifer has been implementing the ideas from his dissertation
> work in Redex and is now ready to share them with the world.
>
> Thanks to Paul, Redex languages now understand binding structure,
> meaning that if yo
On Fri, Sep 25, 2015 at 02:36:30PM -0500, Robby Findler wrote:
> > > 2. default-lang was not properly linked in at least one place in the
> > > documentation (in the explanation of default-equiv).
> >
> > Odd. I think that it might be the case that parameter definitions are
> > handled differently
On Friday, September 25, 2015, Paul Stansifer
wrote:
> Thanks for trying it out! It's exciting to have a user! The broken example
> is now fixed on GitHub.
>
> On Thursday, September 24, 2015 at 5:07:22 PM UTC-4, William J. Bowman
> wrote:
> > ...
> >
> > 1. It was not obvious to me that /binding
Paul asked me to forward this as racket-users is currently rejecting him:
> On Sep 24, 2015, at 14:36, Paul Stansifer wrote:
>
> Sorry about that; it looks like I forgot to check the examples after
> disabling 'rib'. The fix is to change all instances of 'rib' to 'shadow'.
> I'll try to push a
7 matches
Mail list logo
