j
k
j a
j l
On 26/02/2016 11:50, Alain Rastoul wrote:
one could say here: <contract: postcondition on: #( #add: )>
Correction, after Nicolai's observation:
<contract: #postcondition on: #( #add: )> (symbol)
-- Alain
Back to the thread
Back to the list