Answers by jira

0 votes

equality of non-unique lvars broken for clojure 1.7

answered Jun 26, 2019 in core.logic

0 votes

answered Jun 26, 2019 in core.logic

0 votes

EQ conditions which match against a negative result fail to find any results.

answered Jun 26, 2019 in core.logic

0 votes

StackOverflowError when logic variable is unified with a set

answered Jun 26, 2019 in core.logic

0 votes

Disequality might not eliminate when `(!= (_0 _0))`

answered Jun 26, 2019 in core.logic

0 votes

Unified map values are returned as LVar rather than the unified value in ClojureScript

answered Jun 26, 2019 in core.logic

0 votes

The docstring of condu is incorrect or at least confusing

answered Jun 26, 2019 in core.logic

0 votes

Allow tying multiple noms in one binder

answered Jun 26, 2019 in core.logic

0 votes

matcha/matchu are not faithful to the semantics of conda/condu

answered Jun 26, 2019 in core.logic

0 votes

stack overflow with conda/u

answered Jun 26, 2019 in core.logic

0 votes

ex* could expand macros in patterns

answered Jun 26, 2019 in core.logic

0 votes

Generate a better error when adding facts for arities that do not exist

answered Jun 26, 2019 in core.logic

0 votes

support for defaults in the simple unifier

answered Jun 26, 2019 in core.logic

0 votes

make `defc` more useful

answered Jun 26, 2019 in core.logic

0 votes

deftest test-34-unify-with-metadata appears incorrect

answered Jun 26, 2019 in core.logic

Page:

« prev
1
...
14
15
16
17
18
19
20
...
416
next »

...