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
We get this message if we have simply omitted the 0 in (NEGATE 0 (foo)), like (NEGATE (foo)).
Inline templates is an advanced feature, people who don't use it or are starting out might be more helped if the message notes (other) possible reasons for the error.
The text was updated successfully, but these errors were encountered:
We get this message if we have simply omitted the 0 in
(NEGATE 0 (foo))
, like(NEGATE (foo))
.Inline templates
is an advanced feature, people who don't use it or are starting out might be more helped if the message notes (other) possible reasons for the error.The text was updated successfully, but these errors were encountered: