Commit

f49d942

Mulling with the idea of ​​prompting a Python package next. Then I would've gone full-cycle in the lean package context.

commit f49d942