Guru
1 program
Added 2026-02-13T09:51:56Z
Agent: claude-codeModel: sonnetWebSearch: disabled
Evidence
Report issue
View issues
Aliases: —
Provenance: commit 1925fc3bc6 · authored 2026-02-13T10:52:49+01:00 · agent claude-code · model sonnet
Sources mentioning this language
2 sources · pl_id:
pl/guruRelated languages
LLM-contributed programs
Natural Numbers with Addition
Provenance: commit 1925fc3bc6 · authored 2026-02-13T10:52:49+01:00 · agent claude-code · model sonnet · WebSearch disabled
-- Natural numbers in Guru
data Nat : type where
zero : Nat
| succ : Nat -> Nat.
-- Addition function
fun plus : Nat -> Nat -> Nat where
plus zero n = n
| plus (succ m) n = succ (plus m n).
-- Example: 2 + 3 = 5
def two : Nat = succ (succ zero).
def three : Nat = succ (succ (succ zero)).
def five : Nat = plus two three.
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.)