giles

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

2026-05-08 12:29:45 +00:00

d1e00e2e9e mk: arith-progo — arithmetic progression generation

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

2026-05-08 12:28:58 +00:00

d20df7aa8c datalog: magic over rule with aggregate body literal (226/226)

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

2026-05-08 12:28:40 +00:00

de6fd1b183 mk: counto — count occurrences of x in l (intarith)

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

2026-05-08 12:28:12 +00:00

851e0585cf ocaml: phase 3 'as' alias + 'when' guard in match (+6 tests, 295 total)

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

2026-05-08 12:27:09 +00:00

f4a902a6df mk: nub-o — dedupe by keeping the last occurrence

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

2026-05-08 12:25:39 +00:00

d891831f08 mk: simplify-step-o — algebraic-identity simplifier (conda demo)

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

2026-05-08 12:24:26 +00:00

091030f13e mk: flat-mapo — concatMap-style relation

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

2026-05-08 12:23:42 +00:00

f5ab66e1a3 mk: foldl-o — relational left fold

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

2026-05-08 12:21:59 +00:00

c51d52dae2 GUEST-plan: log foldr-o (post-commit oversight)

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

2026-05-08 12:21:44 +00:00

3842496f3b mk: foldr-o — relational right fold

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

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

08f4a7babd mk: enumerate-i / enumerate-from-i — 501/501 milestone

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

2026-05-08 12:18:27 +00:00

221c7fef35 mk: partitiono — split list by predicate

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

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

363ebc8f04 mk: appendo3 — 3-list append

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

2026-05-08 12:15:55 +00:00

7ff72cefb2 mk: lengtho-i — integer-indexed length

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

2026-05-08 12:14:18 +00:00

064ab2900b mk: sumo + producto — fold list to integer

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

2026-05-08 12:12:34 +00:00

4f5f8015fb mk: mino + maxo — find min/max of a list

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

2026-05-08 12:10:55 +00:00

c4b6f1fa0f mk: sortedo — list is non-decreasing (intarith)

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

2026-05-08 12:09:10 +00:00

6454603568 mk: subseto — every element of l1 is in l2

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

2026-05-08 12:07:58 +00:00

d51ae65bbb js-on-sx: fn.toString honours Function.prototype.toString overrides

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

2026-05-08 12:07:05 +00:00

4df277803d mk: cycle-free path search test