diff wisdom/terminal symbol @ 6209:e46141ebdd74

<mroman> ` echo "A terminal symbol is a terminal condition that makes your parser die eventually. Consult your linguist for medical advice." > wisdom/"terminal symbol"
author HackBot
date Fri, 13 Nov 2015 15:24:32 +0000
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/wisdom/terminal symbol	Fri Nov 13 15:24:32 2015 +0000
@@ -0,0 +1,1 @@
+A terminal symbol is a terminal condition that makes your parser die eventually. Consult your linguist for medical advice.