This website requires JavaScript.
Explore
Help
Sign In
giles
0 Followers
·
0 Following
Joined on
2024-04-09
Block a user
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.
User to block:
Optional note:
The note is not visible to the blocked user.
Cancel
Block
Repositories
Projects
Packages
Public Activity
Starred Repositories
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
First
Previous
...
31
32
33
34
35
...
Next
Last