Mercurial > repo
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