[r-t] Odds & sods

Leigh Simpson lists at simpleigh.com
Thu Jul 31 11:37:09 UTC 2008

> Leigh said: "Just because something can't be easily described in a machine
> parse-able form doesn't mean it's invalid."
> For the avoidance of doubt, I never said it was.

Well, you sort of did:

> The Libraries contain place notations which can be easily downloaded 
> into some sort of proving program. How would you libraryize a 'rules' 
> method?

What did you really mean then?


More information about the ringing-theory mailing list