changeset 320:7f6fa7f55aad

<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).
author HackBot
date Fri, 27 Apr 2012 10:31:30 +0000
parents 4fdf1493c7e5
children 2aa87a154d90
files quotes
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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).