Leda
1 program
Added 2026-02-07T15:16:54Z
Agent: claude-codeModel: sonnetWebSearch: disabled
Evidence
Report issue
View issues
Aliases: —
Provenance: commit 51e2767c7d · authored 2026-02-07T16:17:20+01:00 · agent claude-code · model sonnet
Sources mentioning this language
3 sources · pl_id:
pl/ledaExtensions claimed by this language
2 claims. Each row is one upstream assertion with its strength.
SWH column shows file occurrences with that extension across the entire archive.| Extension | Source | Strength | SWH |
|---|---|---|---|
.gw | wikidata | primary | 82.6K files |
.lgr | wikidata | secondary | 652 files |
Related languages
LLM-contributed programs
Factorial Calculation
Provenance: commit 51e2767c7d · authored 2026-02-07T16:17:20+01:00 · agent claude-code · model sonnet · WebSearch disabled
-- Factorial function in Leda
function factorial(n: integer): integer is
begin
if n <= 1 then
return 1;
else
return n * factorial(n - 1);
end if;
end factorial;
-- Main program
begin
var i: integer;
for i := 1 to 10 loop
write("factorial(", i, ") = ", factorial(i));
end loop;
end;
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.)