Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
sahat
on Aug 17, 2012
|
parent
|
context
|
favorite
| on:
Vim and Vi Tips: Essential Vim and Vi Editor Skill...
nerdtalk!
chris_wot
on Aug 17, 2012
[–]
Show me that using an existential quantified an I might be impressed.
sp332
on Aug 17, 2012
|
parent
[–]
∃x ∈ Nerdtalk x = "India ⊂ Asia & Pacific"
chris_wot
on Aug 18, 2012
|
root
|
parent
[–]
Now do it with set builder notation!
sp332
on Aug 18, 2012
|
root
|
parent
[–]
http://pastebin.com/h8rqYXTZ
chris_wot
on Aug 18, 2012
|
root
|
parent
[–]
Points for trying.
∃x{ x | x ∈ Nerdtalk ∧ (x ∈ India ⊂ Asia ∧ Pacific) }
Consider applying for YC's Fall 2026 batch!
Applications
are open till July 27.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
