# HG changeset patch
# User HackBot
# Date 1335522699 0
# Node ID 2aa87a154d902bab7bbf45c16987a0ea0f5ec691
# Parent  7f6fa7f55aad423d8467d25ebdc9b6fc5f757055
<elliott> delquote 848

diff -r 7f6fa7f55aad -r 2aa87a154d90 quotes
--- a/quotes	Fri Apr 27 10:31:30 2012 +0000
+++ b/quotes	Fri Apr 27 10:31:39 2012 +0000
@@ -845,4 +845,3 @@
 <monqy> 200 and 20 are the same  <monqy> different notations for the same thing
 <Ngevd> And I may soon lack both a head and a wall
 <shachaf> U+2205 [∅] NO LETTER O ALLOWED
-<shachaf> I want that map-from-mapM thing that Conor McBride's future language, Frank, will eventually describe in its manual (once it comes out).