Typo: some of the hover-boxes say nu but seem to be referring to the letter mu.
Thank you, I’ll have to clarify that. For now, ν is a general world-model, and μ is a specific one, so in the hover text, I explain the notation with a general case. But I see how that’s confusing.
Typo: some of the hover-boxes say nu but seem to be referring to the letter mu.
Thank you, I’ll have to clarify that. For now, ν is a general world-model, and μ is a specific one, so in the hover text, I explain the notation with a general case. But I see how that’s confusing.