pythological/kanren

Allow multiple types in instanceo

brandonwillard opened this issue · 0 comments

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).