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
LLM-contributed programs
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;
}