changeset 314:9f3e5d420592

<ion> addquote <shachaf> Forth and Agda are basically the same thing
author HackBot
date Fri, 27 Apr 2012 10:22:15 +0000
parents 75b18d221a41
children b22613304b78
files quotes
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/quotes	Fri Apr 27 10:16:19 2012 +0000
+++ b/quotes	Fri Apr 27 10:22:15 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> Forth and Agda are basically the same thing