Search results

cKanren fd.rkt

Status: Open.

#23 In calvis/cKanren;

· magnan opened on Mar 5, 2021

Please add the racket topic to this repo

Status: Open.

#22 In calvis/cKanren;

· spdegabrielle opened on Jun 7, 2019

symbolo and numbero missing?

Status: Open.

#21 In calvis/cKanren;

· egreglee opened on Dec 1, 2014

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

Status: Open.

#20 In calvis/cKanren;

· ProfessorX opened on Oct 19, 2014

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

Development Branch

Status: Open.

#16 In calvis/cKanren;

· calvis opened on Nov 4, 2013

absento does not take advantage of events

Development Branch

Status: Open.

#15 In calvis/cKanren;

· calvis opened on Nov 4, 2013

alphaKanren is broken

Development Branch

Master Branch

Status: Open.

#14 In calvis/cKanren;

· calvis opened on Nov 4, 2013

·  

cKanren v0.1

Lazy-goals missing from dev branch

Development Branch

Status: Open.

#13 In calvis/cKanren;

· calvis opened on Nov 4, 2013

cKanren is not an actual racket package yet

Master Branch

Status: Open.

#12 In calvis/cKanren;

· calvis opened on Nov 4, 2013

·  

cKanren v0.1

Documentation of framework, constraint libraries is nonexistent or outdated

Development Branch

Master Branch

Status: Open.

#11 In calvis/cKanren;

· calvis opened on Nov 4, 2013

·  

cKanren v0.1

Too many branches

Status: Open.

#10 In calvis/cKanren;

· calvis opened on Nov 4, 2013

Set constraint library is broken

Bug

Development Branch

Master Branch

Status: Open.

#9 In calvis/cKanren;

· calvis opened on Nov 4, 2013

·  

cKanren v0.1