Claire Alvis

cKanren is not an actual racket package yet

1

Need to make sure all the package/collection info is up to date, that it depends on the correct version of racket, and that it is officially listed where it should...

This will probably be an easy fix, but I had to thread events through the program so they're probably not being used properly yet.

This will take some major redesigning with the change to enforce events (i.e. I can't have that "nice" cycle for enforcing anymore).

This mainly revolves around Issue #6

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

2

For simplicity's sake.

For libraries like eigen and sets, an extensible disequality is practically mandatory for clarity and correctness.

It still looks up the attributes of its arguments even though it has the event that comes in.

This is just a matter of retrieving the right code from the master branch.

Most of the branches I have in this repo are pointless now, I should store them privately or rewrite them as tags.

Option to automatically reveal the session before it expires

1

From the website: > All the not-finished sessions are kept in a database for 7 days. After that they're completely deleted. I'd like the option to have those sessions automatically...