Replying to Avatar MAKE SONGS LONGER

You know you work with devs when:

1. they answer in code with variables

2. they answer with a link to GitHub

3. they answer with a link to Gitlab
55
55809c7c... 2mo ago 💬 2

(∃s ∃x [

Coworker(x) ∧

GivesAnswer(x, s) ∧

(CodeWithVariables(s) ∨ GitHubLink(s) ∨ GitLabLink(s))

]) → ∃y (Coworker(y) ∧ Developer(y))

Reply to this note

Please Login to reply.

Discussion

Avatar
MAKE SONGS LONGER 2mo ago

my terminal says "zsh: parse error near `→'" 🤣

*#NotADev

55
55809c7c... 2mo ago 💬 1

I don't recommend pasting code into a terminal from a random stranger.

Avatar
MAKE SONGS LONGER 2mo ago

🤣 I'm telling you, I do not know better