coop/rose-ash
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

mk: repeato + concato
Some checks failed
Test, Build, and Deploy / test-build-deploy (push) Failing after 25s
Details

Browse Source 
repeato: produces (or recognizes) a list of n copies of a value, with n
Peano-encoded. Runs forward, backward (recover the count from a uniform
list), and bidirectionally.

concato: fold-appendo over a list-of-lists. (concato (list (list 1 2)
(list) (list 3 4 5)) q) -> ((1 2 3 4 5)).

10 new tests, 378/378 cumulative.
This commit is contained in:
giles
2026-05-08 11:34:28 +00:00
parent 8c48a0be63
commit c2b238635f
3 changed files with 89 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
plans/minikanren-on-sx.md
View File

@@ -173,6 +173,10 @@ _(none yet)_
_Newest first._
- **2026-05-08** — **repeato + concato**: repeato builds a list of n copies
(Peano n); concato is fold-appendo over a list of lists. Both run forward
and backward — repeato can recover the count from a uniform list. 10 new
tests, 378/378 cumulative.
- **2026-05-08** — **tako + dropo (Peano-indexed prefix/suffix)**: takes / drops
the first n elements via a Peano-encoded count. Round-trip
`(tako n l) ⊕ (dropo n l) = l` holds. 9 new tests, 368/368 cumulative.