Important Notice: Our web hosting provider recently started charging us for additional visits, which was unexpected. In response, we're seeking donations. Depending on the situation, we may explore different monetization options for our Community and Expert Contributors. It's crucial to provide more returns for their expertise and offer more Expert Validated Answers or AI Validated Answers. Learn more about our hosting issue here.

What if I want to turn off wff-checking in SubL?

checking SubL turn wff
0
Posted

What if I want to turn off wff-checking in SubL?

0 CommentsAdd a Comment

2 Answers

0

No problem; it’s the same. The macro wrapper without-wff-semantics does that from within the wff module. The macro changes the behavior of a method, it does not introduce a new function. It has been used in CycAccess for asks in those cases where the formula is known.

0 CommentsAdd a Comment
0

No problem; it’s the same. The macro wrapper without-wff-semantics does that from within the wff module. The macro changes the behavior of a method, it does not introduce a new function. It has been used in CycAccess for asks in those cases where the formula is known.

0 CommentsAdd a Comment

Related Questions

What is your question?

*Sadly, we had to bring back ads too. Hopefully more targeted.