Message342742
> Nice, these will be helpful. Probably a good thing to try out with some embedders too, to see whether they're intuitive enough.
I suggest to move this discussion on the WIP PR of 4th version of my PEP:
https://github.com/python/peps/pull/1056
I will reply you there :-) |
|
Date |
User |
Action |
Args |
2019-05-17 17:12:09 | vstinner | set | recipients:
+ vstinner, twouters, ncoghlan, steve.dower |
2019-05-17 17:12:09 | vstinner | set | messageid: <1558113129.23.0.0644617677728.issue36945@roundup.psfhosted.org> |
2019-05-17 17:12:09 | vstinner | link | issue36945 messages |
2019-05-17 17:12:09 | vstinner | create | |
|