Z notation
1 program
Added 2025-11-12T11:42:09Z
Model: google/gemini-2.5-proTemp: 0.4
Evidence
Report issue
View issues
Aliases: Z
Provenance: commit 20b93d73fc · authored 2025-11-12T12:42:09+01:00 · model google/gemini-2.5-pro
Sources mentioning this language
2 sources · pl_id:
pl/z-notationRelated languages
LLM-contributed programs
The Birthday Book System
Provenance: commit 20b93d73fc · authored 2025-11-12T12:42:09+01:00 · model google/gemini-2.5-pro · Temp 0.4
[NAME, DATE]
----------------- BirthdayBook -----------------
known: P NAME
birthday: NAME -> DATE
------------------------------------------------
known = dom birthday
------------------------------------------------
----------- AddBirthday ------------------------
Xi BirthdayBook
name?: NAME
date?: DATE
------------------------------------------------
name? not_in known
birthday' = birthday U {name? |-> date?}
------------------------------------------------
----------- FindBirthday -----------------------
Xi BirthdayBook
name?: NAME
date!: DATE
------------------------------------------------
name? in known
date! = birthday(name?)
------------------------------------------------
----------- Remind -----------------------------
Xi BirthdayBook
today?: DATE
cards!: P NAME
------------------------------------------------
cards! = {n: known | birthday(n) = today?}
------------------------------------------------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.)