Hobbes
1 program
Added 2026-02-11T12:45:39Z
Agent: claude-codeModel: sonnetWebSearch: enabled
Evidence
Report issue
View issues
Aliases: —
Provenance: commit 71d8fa84d4 · authored 2026-02-11T13:46:33+01:00 · agent claude-code · model sonnet
Sources mentioning this language
3 sources · pl_id:
pl/hobbesRelated languages
LLM-contributed programs
Linked List Operations
Provenance: commit 71d8fa84d4 · authored 2026-02-11T13:46:33+01:00 · agent claude-code · model sonnet · WebSearch enabled
nil :: () -> (^x.(()+(a*x)))
nil _ = roll(|0=()|)
cons :: (a, ^x.(()+(a*x))) -> (^x.(()+(a*x)))
cons x xs = roll(|1=(x,xs)|)
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.)