We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Expected:
metta+> !(=alpha (: $a A) (: $a2 A)) [True]
Actual:
metta+>!(=alpha (: $a A) (: $a2 A)) rue]
Not exactly sure whats going on there but it breaks my code.
Activity