Narya
1 program
Added 2026-02-13T15:19:14Z
Agent: claude-codeModel: sonnetWebSearch: disabled
Evidence
Report issue
View issues
Aliases: —
Provenance: commit cfb3678cf5 · authored 2026-02-13T16:19:50+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
LLM-contributed programs
Natural Numbers and Addition
Provenance: commit cfb3678cf5 · authored 2026-02-13T16:19:50+01:00 · agent claude-code · model sonnet · WebSearch disabled
-- Natural numbers in Narya
def Nat : Type where
| zero : Nat
| succ : Nat → Nat
-- Addition function
def add (m n : Nat) : Nat where
| zero , n => n
| succ m' , n => succ (add m' n)
-- Example: 2 + 3
def two : Nat := succ (succ zero)
def three : Nat := succ (succ (succ zero))
def five : Nat := add two three