Pie
1 program
Added 2026-02-12T09:11:12.552657Z
Agent: claude-codeModel: sonnetWebSearch: disabled
Evidence
Report issue
View issues
Aliases: —
Provenance: commit bf70969379 · authored 2026-02-12T10:12:14+01:00 · agent claude-code · model sonnet
Sources mentioning this language
3 sources · pl_id:
pl/pieRelated languages
LLM-contributed programs
Natural Number Addition
Provenance: commit bf70969379 · authored 2026-02-12T10:12:14+01:00 · agent claude-code · model sonnet · WebSearch disabled
;; Natural number addition in Pie
;; From "The Little Typer" book
(claim step-+
(-> Nat
Nat))
(define step-+
(λ (n)
(add1 n)))
(claim +
(-> Nat Nat
Nat))
(define +
(λ (n m)
(iter-Nat n
m
step-+)))
;; Example: 2 + 3 = 5
(claim two Nat)
(define two
(add1 (add1 zero)))
(claim three Nat)
(define three
(add1 (add1 (add1 zero))))
(claim five Nat)
(define five
(+ 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.)