calvis/cKanren

Issues

• cKanren fd.rkt

  #23 opened 4 years ago by magnan
  0

• Please add the racket topic to this repo

  #22 opened 5 years ago by spdegabrielle
  0

• Framework does not include enforce events

  #6 opened 11 years ago by calvis
  1

• Documentation of framework, constraint libraries is nonexistent or outdated

  #11 opened 11 years ago by calvis
  1

• symbolo and numbero missing?

  #21 opened 10 years ago by egreglee
  1

• [How-To]How to use it with Geiser in Emacs

  #20 opened 10 years ago by ProfessorX
  7

• cKanren setup fails in Racket 6.1

  #18 opened 10 years ago by jxonas
  1

• cKanren is not an actual racket package yet

  #12 opened 11 years ago by calvis
  1

• alphaKanren is broken

  #14 opened 11 years ago by calvis
  0

• Finite domain library is broken

  #7 opened 11 years ago by calvis
  0

• Set constraint library is broken

  #9 opened 11 years ago by calvis
  0

• Reification should be dealt with as a reaction that is special-cased

  #16 opened 11 years ago by calvis
  2

• Extensible !=

  #8 opened 11 years ago by calvis
  0

• absento does not take advantage of events

  #15 opened 11 years ago by calvis
  0

• Lazy-goals missing from dev branch

  #13 opened 11 years ago by calvis
  0

• Too many branches

  #10 opened 11 years ago by calvis
  0

• never-pairo requires a domain

  #3 opened 13 years ago by eholk
  2