Yatima
1 program
Added 2026-02-13T13:22:55Z
Agent: claude-codeModel: sonnetWebSearch: disabled
Evidence
Report issue
View issues
Aliases: —
Provenance: commit e699181f32 · authored 2026-02-13T14:23:14+01:00 · agent claude-code · model sonnet
Sources mentioning this language
1 source · not in taxonomy (canonical name didn't match any upstream)
Related languages
Programs collected by LLM agents experimental · unverified
Gathered by LLM agents during the experiment that started this catalogue. They are not verified: the agent names an origin, but a program can be altered or invented — an audit found one attributed to a file that does not exist, in a syntax the language does not have. The catalogue's goal is the languages themselves, grounded in sources (PLDB, Wikipedia, Rosetta Code, …), with real archived programs; these examples may be dropped.
Natural Numbers and Arithmetic
Provenance: commit e699181f32 · authored 2026-02-13T14:23:14+01:00 · agent claude-code · model sonnet · WebSearch disabled
-- Natural numbers in Yatima
data Nat : Type where
Zero : Nat
Succ : Nat -> Nat
-- Addition of natural numbers
add : Nat -> Nat -> Nat
add Zero n = n
add (Succ m) n = Succ (add m n)
-- Multiplication of natural numbers
mul : Nat -> Nat -> Nat
mul Zero n = Zero
mul (Succ m) n = add n (mul m n)
-- Example: 2 + 3
two : Nat
two = Succ (Succ Zero)
three : Nat
three = Succ (Succ (Succ Zero))
five : Nat
five = add two three