History of FoldedPatternMatcher

Robo Home | Changes | Preferences | AllPages

Difference (from prior major revision) (no other diffs)

Changed: 234c234,236

--Chase-san

You're right that you can just use numbers... I'm guessing symbols are used here for the sake of comparing it to a vanilla SymbolicPatternMatcher (near the top of the page), in which using characters allows you to make use of Java's string matching methods. -- Voidious

	Revision 18 . . January 9, 2007 22:48 EST by Voidious [comment (reason for symbols)]
	Revision 17 . . January 9, 2007 19:33 EST by webmail.wolverine.k12.mi.us [hmm, okay]