giles

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

2026-05-07 23:34:38 +00:00

8046df7ce5 datalog: unification + substitution + 28 tests (Phase 2, 72/72)

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

2026-05-07 23:31:39 +00:00

5c1807c832 datalog: parser + 18 tests + conformance harness (Phase 1 done, 44/44)

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

2026-05-07 23:29:12 +00:00

a038d41815 mk: phase 5C — nafc, negation as finite failure

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

2026-05-07 23:27:27 +00:00

d61b355413 mk: phase 5B — project, escape into host SX

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

2026-05-07 23:26:59 +00:00

9a090c6e42 ocaml: phase 1 expression parser (+37 tests, 95 total) — consumes lib/guest/pratt.sx

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

2026-05-07 23:19:52 +00:00

f5d3b1df19 apl: ⍵-rebind + primes.apl runs as-written (+4 tests)

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

2026-05-07 23:06:07 +00:00

9bd6bbb7e7 datalog: tokenizer + 26 tests (Phase 1)

giles created branch loops/datalog in coop/rose-ash

2026-05-07 23:06:06 +00:00

giles created branch loops/ocaml in coop/rose-ash

2026-05-07 23:04:48 +00:00

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

2026-05-07 23:04:48 +00:00

85b7fed4fc ocaml: phase 1 tokenizer (+58 tests) — consumes lib/guest/lex.sx

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

2026-05-07 22:55:38 +00:00

06a5b5b07c js-on-sx: Object.__callable__ returns this for new Object() no-args

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

2026-05-07 22:48:26 +00:00

bf782d9c49 apl: apl-run-file path → array (+4 tests)

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

2026-05-07 22:25:03 +00:00

2490c901bf js-on-sx: js-loose-eq unwraps Number and Boolean wrappers

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

2026-05-07 22:20:04 +00:00

bcdd137d6f apl: ? roll/random + apl-rng-seed! (+4 tests)

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

2026-05-07 22:08:53 +00:00

27bfceb1aa js-on-sx: Object(value) wraps primitives in their wrapper class

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

2026-05-07 21:54:21 +00:00

43d58e6ca9 mk: peano arithmetic (zeroo, pluso, minuso, *o, lteo, lto)

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

2026-05-07 21:52:43 +00:00

0b3610a63a apl: inline assignment a ← rhs mid-expression (+5 tests)

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

2026-05-07 21:51:56 +00:00

240ed90b20 mk: phase 5A — conda, soft-cut without onceo

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

2026-05-07 21:49:44 +00:00

f4ab7f2534 mk: phase 4B — reverseo + lengtho, 10 new tests

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

2026-05-07 21:19:45 +00:00

96a7541d70 js-on-sx: Object(null) and Object(undefined) return new empty object