# HG changeset patch
# User HackBot
# Date 1335522690 0
# Node ID 7f6fa7f55aad423d8467d25ebdc9b6fc5f757055
# Parent  4fdf1493c7e5f650d4088b42af007710a8d9931c
<shachaf> addquote <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).

diff -r 4fdf1493c7e5 -r 7f6fa7f55aad quotes
--- a/quotes	Fri Apr 27 10:26:21 2012 +0000
+++ b/quotes	Fri Apr 27 10:31:30 2012 +0000
@@ -845,3 +845,4 @@
 <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).