(∃s ∃x [
Coworker(x) ∧
GivesAnswer(x, s) ∧
(CodeWithVariables(s) ∨ GitHubLink(s) ∨ GitLabLink(s))
]) → ∃y (Coworker(y) ∧ Developer(y))
my terminal says "zsh: parse error near `→'" 🤣
*#NotADev
Please Login to reply.
I don't recommend pasting code into a terminal from a random stranger.
🤣 I'm telling you, I do not know better
