GitHub - eihli/mk-llm: miniKanren search assistance via LLMs

Name		Name	Last commit message	Last commit date
Latest commit History 17 Commits
first-order-miniKanren @ 80a9056		first-order-miniKanren @ 80a9056
.gitignore		.gitignore
.gitmodules		.gitmodules
bias-interleave.rkt		bias-interleave.rkt
experiment_compose.py		experiment_compose.py
interact.py		interact.py
interact.rkt		interact.rkt
llmapi.py		llmapi.py
main.py		main.py