kompsos/test, branch masterExperimental miniKanren implementationMore complete IDDFS that resets counter when backtracking2026-02-08T22:54:31+00:00Jedidiah Barbercontact@jedbarber.id.au2026-02-08T22:54:31+00:00ab78413a044900e421d2e0144f3c170bdc3f0b18
Iterative deepening depth first search as a complete (?) search method2026-02-08T09:00:52+00:00Jedidiah Barbercontact@jedbarber.id.au2026-02-08T09:00:52+00:0032eea08483afb754c7da5663f33cd022d4a2723c
Evaluation algorithm changed to inverted interleaved depth first search2026-02-06T04:19:26+00:00Jedidiah Barbercontact@jedbarber.id.au2026-02-06T04:19:26+00:006bced91bd28f860d830dfda921ee5056ec93f48c
Removed Nametags and identifier aliasing for Variables2026-01-12T05:51:32+00:00Jedidiah Barbercontact@jedbarber.id.au2026-01-12T05:51:32+00:00616f41d15009b1133cbdc14bace6ab84f1325921
Test programs now interleave calculation and text output better2026-01-06T22:50:31+00:00Jedidiah Barbercontact@jedbarber.id.au2026-01-06T22:50:31+00:002209ab74ab651d958e250d1f991fe9f076f76503
Demonstration program for using arbitrary zero and one elements in Math generic2026-01-06T10:28:18+00:00Jedidiah Barbercontact@jedbarber.id.au2026-01-06T10:28:18+00:00009dd1f9cbbd024f8bfd925989e2482f48abe71d
Logarithms now work for base=32026-01-05T08:50:56+00:00Jedidiah Barbercontact@jedbarber.id.au2026-01-05T08:50:56+00:00259f5df4d96a958e6cf567725466f92d2e245807
Logarithm test program, base=3 not working2026-01-04T05:16:02+00:00Jedidiah Barbercontact@jedbarber.id.au2026-01-04T05:16:02+00:00d9a59f478a9ebb6135a2c9bbe2e6e1b946bfbaa4
Exponential/repeated-multiply test program2026-01-03T09:39:43+00:00Jedidiah Barbercontact@jedbarber.id.au2026-01-03T09:39:43+00:00cb91cca829b62493f3787b0c19908f229a26cfa7