Z
1 program
Added 2026-03-12T10:00:00Z
Agent: claude-codeModel: claude-sonnet-4-6WebSearch: disabled
Evidence
Report issue
View issues
Aliases: Z notation, Z specification language
Provenance: commit 255b15a5a8 · authored 2026-03-12T21:18:30+01:00 · agent claude-code · model claude-sonnet-4-6
Sources mentioning this language
4 sources · pl_id:
pl/zExtensions claimed by this language
1 claim. 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 |
|---|---|---|---|
.z | wikidata | primary | 547.0K files |
Related languages
LLM-contributed programs
Birthday Book Specification
Provenance: commit 255b15a5a8 · authored 2026-03-12T21:18:30+01:00 · agent claude-code · model claude-sonnet-4-6 · WebSearch disabled
% Birthday Book in Z Notation
% The canonical introductory example by J.M. Spivey
\begin{zed}
[NAME, DATE]
\end{zed}
\begin{schema}{BirthdayBook}
known : \power NAME \\
birthday : NAME \pfun DATE
\where
known = \dom birthday
\end{schema}
\begin{schema}{AddBirthday}
\Delta BirthdayBook \\
name? : NAME \\
date? : DATE
\where
name? \notin known \\
birthday' = birthday \cup \{name? \mapsto date?\}
\end{schema}
\begin{schema}{FindBirthday}
\Xi BirthdayBook \\
name? : NAME \\
date! : DATE
\where
name? \in known \\
date! = birthday~name?
\end{schema}
\begin{schema}{Remind}
\Xi BirthdayBook \\
today? : DATE \\
cards! : \power NAME
\where
cards! = \{n : known \mid birthday~n = today?\}
\end{schema}
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.)