Agile Development
Unscheduled
  • To Do
  • Done
  • Defect: 18
  • Enhancement: 19
  • Task: 1
  • Total Issues: 38
  • To Do: 8
  • Unresolved: 8
  • In Progress: 0
  • Resolved: 30
  • Done: 30
Task
Trivial
Add documentation strings to stable functions
Version: Unscheduled
Assignee: David Nolen
Enhancement
Trivial
Improved warnings/errors for pattern matching
Version: Unscheduled
Assignee: David Nolen
Enhancement
Trivial
Typo in docstring
Version: Unscheduled
Assignee: David Nolen
Enhancement
Trivial
Added usage section to readme.md
Version: Unscheduled
Assignee: David Nolen
Enhancement
Minor
Provide more convenient syntax for defining a series of facts
Version: Unscheduled
Assignee: David Nolen
Enhancement
Minor
Don't use extend-type on Substitutions LVar or LCons
Version: Unscheduled
Assignee: David Nolen
Defect
Minor
defne and variants should support docstring
Version: Unscheduled
Assignee: David Nolen
Enhancement
Minor
Improved docstrings for relations
Version: Unscheduled
Assignee: David Nolen
Enhancement
Minor
Add print goal
Version: Unscheduled
Assignee: David Nolen
Enhancement
Minor
Make it possible to define facts on a relation defined in a different namespace.
Version: Unscheduled
Assignee: Nicolas Buduroi
Enhancement
Minor
Allow retraction of previously stated facts in a relation
Version: Unscheduled
Assignee: David Nolen
Defect
Minor
Unification should carry along metadata
Version: Unscheduled
Assignee: David Nolen
Defect
Major
Tabling bug
Version: Unscheduled
Assignee: David Nolen
Defect
Major
nonrel/lvar -> nonrel/lvaro, nonrel/nonlvar -> nonrel/nonlvaro
Version: Unscheduled
Assignee: David Nolen
Defect
Major
cannot unify an lcons currently
Version: Unscheduled
Assignee: David Nolen
Enhancement
Major
no way to unify the first of a seq to one lvar and the rest to another
Version: Unscheduled
Assignee: David Nolen
Enhancement
Major
cannot emit lvars from macros
Version: Unscheduled
Assignee: David Nolen
Defect
Major
tabled goals perisist across runs
Version: Unscheduled
Assignee: David Nolen
Enhancement
Major
make run non-lazy, add lazy-run variant
Version: Unscheduled
Assignee: David Nolen
Defect
Major
Disequality Constraints - lvar remains fresh if we have disequality constraint that involves lcons
Version: Unscheduled
Assignee: David Nolen
Enhancement
Major
ClojureScript compatibility
Version: Unscheduled
Assignee: David Nolen
Enhancement
Major
clojure.core.logic namespace instead of clojure.core.logic.minikanren + prelude
Version: Unscheduled
Assignee: David Nolen
Enhancement
Major
Switch conde style to use vectors instead of list
Version: Unscheduled
Assignee: David Nolen
Enhancement
Major
Remove ?x variable pattern
Version: Unscheduled
Assignee: David Nolen
Defect
Major
Unqualified Symbols at Macroexpansion via defrel
Version: Unscheduled
Assignee: David Nolen
Defect
Major
Locals not available in matche
Version: Unscheduled
Assignee: David Nolen
Defect
Major
Suspected Regression from 0.6.5-0.6.6
Version: Unscheduled
Assignee: Ambrose Bonnaire-Sergeant
Defect
Major
Generate a better error when adding facts for arities that do not exist
Version: Unscheduled
Assignee: David Nolen
Defect
Major
runtime error when using ^:index
Version: Unscheduled
Assignee: David Nolen
Defect
Major
defrel cannot be called inside function
Version: Unscheduled
Assignee: David Nolen