Mercurial > repo
diff quotes @ 7057:f17fd25da8cc
<shachaf> addquote <b_jonas> shachaf: different notation. -o is logical or in find, but it\'s linear implication in linear logic
author | HackBot |
---|---|
date | Mon, 29 Feb 2016 22:10:51 +0000 |
parents | f6da2d0a377b |
children | c0cbaf73bd50 |
line wrap: on
line diff
--- a/quotes Mon Feb 29 17:51:08 2016 +0000 +++ b/quotes Mon Feb 29 22:10:51 2016 +0000 @@ -1266,3 +1266,4 @@ <coppro> actually a small trebuchet onto the balcony might work <boily> what's a TLS? <fizzie> boily: You know, the successor of SSL. * boily has two many brainfarts... <boily> I didn't ask anything. you didn't see nothing at all. <\oren\> i don't actually knwo the details, but i want those responsible, whoever they were to be punished +<b_jonas> shachaf: different notation. -o is logical or in find, but it's linear implication in linear logic