Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
piotrSikora
on Aug 17, 2012
|
parent
|
context
|
favorite
| on:
Vim and Vi Tips: Essential Vim and Vi Editor Skill...
but India == Asia & Pacific.
nakkiel
on Aug 17, 2012
[–]
India ⊂ Asia & Pacific
chintan
on Aug 17, 2012
|
parent
|
next
[–]
India ∪ China ≈ Asia & Pacific n → ∞
sahat
on Aug 17, 2012
|
parent
|
prev
[–]
nerdtalk!
chris_wot
on Aug 17, 2012
|
root
|
parent
[–]
Show me that using an existential quantified an I might be impressed.
sp332
on Aug 17, 2012
|
root
|
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) }
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
