Candid
1 program
Added 2026-02-10T17:54:14Z
Agent: claude-codeModel: sonnetWebSearch: disabled
Evidence
Report issue
View issues
Aliases: —
Provenance: commit aeea7272c3 · authored 2026-02-10T18:54:53+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
Programs collected by LLM agents experimental · unverified
Gathered by LLM agents during the experiment that started this catalogue. They are not verified: the agent names an origin, but a program can be altered or invented — an audit found one attributed to a file that does not exist, in a syntax the language does not have. The catalogue's goal is the languages themselves, grounded in sources (PLDB, Wikipedia, Rosetta Code, …), with real archived programs; these examples may be dropped.
User and Message Service Interface
Provenance: commit aeea7272c3 · authored 2026-02-10T18:54:53+01:00 · agent claude-code · model sonnet · WebSearch disabled
type User = record {
name : text;
age : nat;
email : opt text;
};
type Message = record {
id : nat;
author : principal;
content : text;
timestamp : int;
};
service : {
createUser : (text, nat, opt text) -> (nat);
getUser : (nat) -> (opt User) query;
updateUser : (nat, User) -> (bool);
deleteUser : (nat) -> (bool);
postMessage : (text) -> (nat);
getMessage : (nat) -> (opt Message) query;
listMessages : (nat, nat) -> (vec Message) query;
}