Jason (jcreed) wrote,
Jason
jcreed

Ahh, I remember now. Generalizing patterns breaks most easily at pruning.
Hmph. Well, the only thing that's breaking with my encoding is a lousy second-order matching problem, and that's well-known to be decidable ferchrissakes.
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 0 comments