[Home]History of FoldedPatternMatcher

Robo Home | Changes | Preferences | AllPages


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

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

Changed: 234c234,236
--Chase-san
--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

Robo Home | Changes | Preferences | AllPages
Search: