changeset 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 cee4c86ef765
children 498f0a887e2a
files quotes
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
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