Conversation

Ahh, cool beans. Yeah, I think globals are stored as values in the internship report's one too, going off the repository. Part of my challenge has been figuring out how to do that with my current scheme, where I store things as values.

This Tweet was deleted by the Tweet author. Learn more

Brendan Zabarauskas

@brendanzab

Feb 20, 2019

I've been trying to avoid globals because partly I want to try to head more towards something like 1ML, but perhaps that's a fool's effort. 😬

Replying to

and

I think one of the issues with how I'm shifting neutrals (by putting it as a shift on the var constructor) is that I don't know whether to either accumulate the shift, or forget about it. In the NbE rules given in the thesis they don't shift through variables.

12:05 AM · Feb 21, 2019Twitter Web Client

Replying to

and

s/thesis/report/

We seem to only want to accumulate shift onto the neutral term if the _value_ is accessible in the environment

Show replies