GitHub - schreiberbrett/cool-relations

Name		Name	Last commit message	Last commit date
Latest commit History 111 Commits
1-Arithmetic		1-Arithmetic
2-Combinatorics		2-Combinatorics
3-Theory-of-Computation		3-Theory-of-Computation
5-Puzzles-and-Games		5-Puzzles-and-Games
6-Tricky-Relations		6-Tricky-Relations
7-Techniques		7-Techniques
8-Implementing-miniKanren		8-Implementing-miniKanren
9-Misc		9-Misc
__pycache__		__pycache__
bezae-code		bezae-code
bezae		bezae
first-order-miniKanren		first-order-miniKanren
img		img
liarKanren		liarKanren
misc		misc
scribble-htmls		scribble-htmls
scribble-src		scribble-src
.gitignore		.gitignore
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
Tangled.java		Tangled.java
build.py		build.py
cool-relations-clpset.html		cool-relations-clpset.html
cool-relations-faster-minikanren.html		cool-relations-faster-minikanren.html
cool-relations.html		cool-relations.html
import.rkt		import.rkt
import.scm		import.scm
index.html		index.html
linuxrun-java.sh		linuxrun-java.sh
linuxrun-python.sh		linuxrun-python.sh
linuxrun-racket.sh		linuxrun-racket.sh
main-clpset.scm		main-clpset.scm
main-faster-minikanren.scm		main-faster-minikanren.scm
main-trs2e.scm		main-trs2e.scm
numerical_limit.py		numerical_limit.py
rerun.sh		rerun.sh
run-java.bat		run-java.bat
run-racket.bat		run-racket.bat
tangled.c		tangled.c
tangled.py		tangled.py
tangled.rkt		tangled.rkt

Provide feedback