Jon Sterling
Jon Sterling
@ecavallo I guess a first step would be to define an operator in the semantic domain that does the thing that `act` in Part IV does, or what is called...
@favonia 1. I think the proposal is not to have the single eliminator detect whether it is being dependent, but instead to provide two different eliminators to the user. The...
Back to the main topic of this ticket, I say let's try it out! It sounds like a good idea.
I hope so, I am not certain.
LOL I was just trying to open this exact same ticket :laughing: It's funny, it manages to not shadow just one variable, and everytihng else is shadowed. oops.
@favonia I think Evan and I agree this needs to be fixed, but don't care at all in what manner it is fixed :laughing:
@favonia We are already using an immortal utf-8 library (uuseg, uuseg_string)... But please, can we just do something simple? Even without the subscripts if it is easier. This (technically minor)...
@favonia Yes, agreed!!
@clayrat Cool! I'll try and have a look this weekend.
@clayrat I think I have some idea of what is going on :smile: