# HG changeset patch
# User HackBot
# Date 1335522135 0
# Node ID 9f3e5d4205924f546e8b37511a35feed83bf9d91
# Parent  75b18d221a41de37d88652fcba7d82eae25ed642
<ion> addquote <shachaf> Forth and Agda are basically the same thing

diff -r 75b18d221a41 -r 9f3e5d420592 quotes
--- 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