Mercurial > repo
diff quotes @ 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 |
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).