2015-02-24

juan_gandhi: (VP)
2015-02-24 10:28 am

вот, душевный анекдот

Умирает старый еврей. Слабым голосом спрашивает:
— Моя жена рядом?
— Да, дорогой.
— Дети здесь?
— Да, папочка.
— А мои внуки?
— Тут мы, дедушка!
— Тогда кому свет на кухне горит?
juan_gandhi: (VP)
2015-02-24 10:54 pm

pi-calculus

Anybody here knows it? [livejournal.com profile] sassa_nf? I got a question regarding Odersky ziplock. Too much code, I think.
x?(y,z).M → x?u.new(v).(u!v|v?y.new(w).(u!w|w?z.M))
x!(y,z)   → new(u).(x!u|u?v.(v!y)|(u?w.w!z))).