Re: [Castor-logic-library] Bug in Exclusive Disjunction ?

[Roshan N. <ro...@mp...>]

Reiner,

>> 1st of all, the Castor package is really VERY powerful. Thanks a lot for
providing this package for free.

 

My pleasure.

 

>> If I understand the Exclusive Distinction of Castor right, "x ^ y" means
"If x EVER succeeds, then x, else y". Therefore I would call it rather
if-then-else than exclusive distinction, but this is a matter of taste.

 

 

Yes I have been thinking along the same lines. Everyone raises an eyebrow
when I try to explain it.

 

 

>> One more thing: the permutation relation provided by Castor is really
called "permutation", as specified in the docs. However, in the examples
given there, it is called "permute". So when I copied the example code and
tried to compile it, I got an error, and was worried what was going on.

 

Thanks for pointing it out.

-roshan