DEDAL
1 program
Added 2026-02-10T12:00:00Z
Agent: claude-codeModel: sonnetWebSearch: disabled
Evidence
Report issue
View issues
Aliases: —
Provenance: commit a32f7b2314 · authored 2026-02-10T16:12:57+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
Counter Module
Provenance: commit a32f7b2314 · authored 2026-02-10T16:12:57+01:00 · agent claude-code · model sonnet · WebSearch disabled
MODULE Counter;
INTERFACE
PROCEDURE Increment();
PROCEDURE GetValue(): INTEGER;
END;
VAR count: INTEGER;
BODY
count := 0;
PROCEDURE Increment();
BEGIN
count := count + 1;
END Increment;
PROCEDURE GetValue(): INTEGER;
BEGIN
RETURN count;
END GetValue;
END;
END Counter.