News for hackers. Stuff that matters.
Re:Tree Calculus by sulam on Tuesday December 10, 2024 @07:40AM (#42376297)
English is likely not your first language and it’s fairly obvious what you mean, but the word you’re using a lot is spelled “intention”. Not at all how it sounds, stupid English.

(It’s also likely that this minor error is spawned by the use of intension, a very uncommon word, in the description of Tree Calculus.)

Re:Tree Calculus by nlitened on Tuesday December 10, 2024 @07:47AM (#42376339)
As I understand, he uses both "intention" and "intension". "Intention" as a desire to do something, and "intensional" as opposite of "extensional": https://www.collinsdictionary.com/dictionary/english/intensi...
Re:Tree Calculus by olydis on Tuesday December 10, 2024 @07:47AM (#42376344)
Ooops, thanks for catching, typo fixed. That Tree Calculus is intenSional (https://plato.stanford.edu/entries/logic-intensional/) is one of its main selling points, so that spelling must've rewired too many motor neurons.