Twelf
1 program
Added 2025-11-07T10:39:04Z
Model: x-ai/grok-4-fastTemp: 0.4
Evidence
Report issue
View issues
Aliases: —
Provenance: commit 9e77ac46f7 · authored 2025-11-07T11:39:04+01:00 · model x-ai/grok-4-fast
Sources mentioning this language
5 sources · pl_id:
pl/twelfRelated languages
LLM-contributed programs
Append relation definition
Provenance: commit 9e77ac46f7 · authored 2025-11-07T11:39:04+01:00 · model x-ai/grok-4-fast · Temp 0.4
dcon append : term -> term -> term -> type.
%mode append +D +D -D.
append nil Y Y.
append (cons X N) (cons X M) : append N M M.
%worlds (term term term) (append).
%total D (append).Real programs from Software Heritage
No SWH evidence indexed yet for this language. (Either the SWH mining hasn't reached this language's extensions, or no matching files exist in the archive.)