> - Endless method: this one is cute, I love it!
It's a weird name for it. It should probably be called something like 'equational method definitions'
It's a weird name for it. It should probably be called something like 'equational method definitions'
Yeah, that's not weird