[Python-ideas] "old" values in postconditions

James Lu jamtlu at gmail.com
Sun Sep 30 11:30:29 EDT 2018

Hi Marko,

Going back to your proposal on repeating lambda P as a convention.

I do find 

@snapshot(some_identifier=P -> P.self(P.arg1),
some_identifier2=P -> P.arg1 + P.arg2)


Should we keep some kind of document to keep track of all the different proposals? I’m thinking an editable document like HackMD where we can label all the different ideas to keep them straight in our head.

James Lu

More information about the Python-ideas mailing list