You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I am using this lib to translate/debug logical statements into code, and then evaluating them to see that they're equal.
The thing I'm frustrated with is not, or neg - I'd like a unary prefix operator.
$(a and (not b)) works, but b gets complex, e.g. $(a and (not {a or b})), well that's not processed; so I went and looked and saw that $(a and ($ not {a or b})) was supported; I did that, but ended up makign an an operator (defun neg (x y) (not y))(infix #x500 neg) jthat just ignores its first argument, which is a little more natural.
I see you noted about prefix operators in your source. Any advice on implementation?
And, thanks for the lib! I thought at least you might like to hear how someone's using it.
The text was updated successfully, but these errors were encountered:
Howdy,
I am using this lib to translate/debug logical statements into code, and then evaluating them to see that they're equal.
The thing I'm frustrated with is
not
, orneg
- I'd like a unary prefix operator.$(a and (not b))
works, butb
gets complex, e.g.$(a and (not {a or b}))
, well that's not processed; so I went and looked and saw that$(a and ($ not {a or b}))
was supported; I did that, but ended up makign an an operator(defun neg (x y) (not y))
(infix #x500 neg)
jthat just ignores its first argument, which is a little more natural.I see you noted about prefix operators in your source. Any advice on implementation?
And, thanks for the lib! I thought at least you might like to hear how someone's using it.
The text was updated successfully, but these errors were encountered: