Mikael Malmqvist
Mikael Malmqvist
We decided to introduce the environment in the eval-function to keep track of variables in a way which allows us to remove linear variables from the environment as they are...
That is true. Do you have any suggestion of how we would go about removing variables from the environment when they have been evaluated?
We removed the handling of linear types from the interpreter and eval-function and expand it in the type checker, since it's actually a type-feature. The idea of modifying the environment...