kanren
kanren copied to clipboard
Allow multiple types in instanceo
Needing to add extra isinstanceo
goals for additional types (e.g. isinstanceo(x, int), isinstanceo(x, float)
instead of isinstanceo(x, (int, float))
) is pretty inconvenient (and somewhat wasteful).