Add notes from 2022-10 - #61

Merged

encukou merged 3 commits into

python:mainfrom

encukou:2022-10

Oct 17, 2022

Commits on Oct 4, 2022

Add notes from 2022-10
encukou
committed
b478ac4

Commits on Oct 5, 2022

Apply suggestions from code review
authored
4e974f4

Commits on Oct 17, 2022

Apply suggestions from code review
encukou
and
ezio-melotti
authored
17c6628