~ashton314/microKanren

Walkthrough and implementation of the μKanren paper
~ashton314/microKanren_issues

New ticket tracker added

1 year, 11 months ago
~ashton314/microKanren_updates

New mailing list added

1 year, 11 months ago