giles

giles pushed to loops/minikanren at coop/rose-ash

2026-05-08 12:04:20 +00:00

58d78de32a mk: removeo-allo — remove every occurrence

giles pushed to loops/minikanren at coop/rose-ash

2026-05-08 12:02:16 +00:00

6bc3c14dac mk: btree-walko — binary-tree walker via matche

giles pushed to loops/minikanren at coop/rose-ash

2026-05-08 11:59:44 +00:00

eb69039935 mk: swap-firsto — swap first two list elements

giles pushed to loops/minikanren at coop/rose-ash

2026-05-08 11:57:15 +00:00

c04ddd105b mk: pairlisto — relational zip

giles pushed to loops/minikanren at coop/rose-ash

2026-05-08 11:54:27 +00:00

136cacbd3f mk: iterate-no — apply a relation n times

giles pushed to loops/minikanren at coop/rose-ash

2026-05-08 11:51:55 +00:00

6fc155ddd8 mk: rev-acco + rev-2o — accumulator-style reverse

giles pushed to loops/minikanren at coop/rose-ash

2026-05-08 11:49:50 +00:00

d992788a03 mk: even-i / odd-i — host-arithmetic parity goals

giles pushed to loops/minikanren at coop/rose-ash

2026-05-08 11:47:28 +00:00

4d861575df mk: selecto — choose element + rest of list

giles pushed to loops/minikanren at coop/rose-ash

2026-05-08 11:45:35 +00:00

e202c81a0d mk: subo — contiguous sublist relation

giles pushed to loops/minikanren at coop/rose-ash

2026-05-08 11:40:31 +00:00

fc14a8063b mk: prefixo + suffixo — appendo-derived sublist relations

giles pushed to loops/minikanren at coop/rose-ash

2026-05-08 11:38:31 +00:00

6ee02db2ab mk: palindromeo — list reads same forwards/backwards

giles pushed to loops/minikanren at coop/rose-ash

2026-05-08 11:36:15 +00:00

7b6cb64548 mk: not-membero — relational "x is not in l"

giles pushed to loops/minikanren at coop/rose-ash

2026-05-08 11:34:30 +00:00

c2b238635f mk: repeato + concato

giles pushed to loops/minikanren at coop/rose-ash

2026-05-08 11:32:35 +00:00

8c48a0be63 mk: tako + dropo — Peano-indexed prefix and suffix

giles pushed to loops/minikanren at coop/rose-ash

2026-05-08 11:30:05 +00:00

54a58c704e mk: eveno + oddo — Peano parity predicates

giles pushed to loops/minikanren at coop/rose-ash

2026-05-08 11:27:54 +00:00

ada405b37b mk: defrel — Prolog-style relation-definition macro

giles pushed to loops/js at coop/rose-ash

2026-05-08 11:27:23 +00:00

e97bdc4602 js-on-sx: native prototypes carry wrapped primitive marker

giles pushed to loops/minikanren at coop/rose-ash

2026-05-08 11:25:17 +00:00

99066430fd mk: lasto + init-o — last and not-last list relations

giles pushed to loops/minikanren at coop/rose-ash

2026-05-08 11:22:16 +00:00

48835f2d4f mk: relational database queries — Datalog-style demo

giles pushed to loops/minikanren at coop/rose-ash

2026-05-08 11:19:30 +00:00

16fe22669a mk: cyclic-graph behaviour test — motivates Phase 7 tabling