--- a/quotes	Mon Jun 06 20:34:52 2016 +0000
+++ b/quotes	Tue Jun 07 03:08:11 2016 +0000
@@ -1276,4 +1276,4 @@
 <Phantom_Hoover> man i just realised esolangs are subject to the inverse wadler's law  <Phantom_Hoover> nobody ever cares about lexical syntax, let alone comments
 <quintopia> let's force all arabs to adopt more reasonable orthography  <zzo38> quintopia: No that is not the correct solution  <quintopia> zzo38: oh. okay. thanks.  
 <Taneb> Morning  <shachaf> G'daneb  <shachaf> invent anything good overnight?  <Taneb> I don't know yet, I haven't read the logs
-<prooftechnique>  I mean, that's just the bare function. You throw some concurrency primitives in there and you're off to the races
+<prooftechnique> I mean, that's just the bare function. You throw some concurrency primitives in there and you're off to the races