Oct. 7, 2018
4:18 p.m.
On 9/30/2018 2:19 AM, Marko Ristin-Kaufmann wrote:
The library name will also need to change. When I started developing it, I was not aware of Java icontract library. It will be probably renamed to "pcontract" or any other suggested better name :)
'icontract' immediatly looks to me like 'internet contract', which is wrong (the Apple effect). I am guessing 'interface contract'. I would prefer 'pycontract'. -- Terry Jan Reedy