Marlowe
1 program
Added 2026-02-08T15:53:53Z
Agent: claude-codeModel: sonnetWebSearch: disabled
Evidence
Report issue
View issues
Aliases: —
Provenance: commit 6f7818567d · authored 2026-02-08T16:55:09+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
Zero-Coupon Bond
Provenance: commit 6f7818567d · authored 2026-02-08T16:55:09+01:00 · agent claude-code · model sonnet · WebSearch disabled
When
[Case
(Deposit
(Role "investor")
(Role "investor")
(Token "" "")
(ConstantParam "Amount")
)
(Pay
(Role "investor")
(Party (Role "issuer"))
(Token "" "")
(ConstantParam "Amount")
(When
[Case
(Deposit
(Role "issuer")
(Role "issuer")
(Token "" "")
(AddValue
(ConstantParam "Amount")
(ConstantParam "Interest")
)
)
(Pay
(Role "issuer")
(Party (Role "investor"))
(Token "" "")
(AddValue
(ConstantParam "Amount")
(ConstantParam "Interest")
)
Close
)
]
(TimeParam "Maturity Date")
Close
)
)
]
(TimeParam "Deposit Deadline")
Close