4 commits

Author	SHA1	Message	Date
Pablo Martin	02af779f69	Version number is now printed at the start of each session.	2022-07-26 14:22:48 +02:00
Pablo Martin	a8a906647b	Clean up connection once the session is finished.	2022-07-21 18:31:46 +02:00
Pablo Martin	7dba389eb5	Docstrings, typing, a bit of renaming and minor stuff.	2022-07-21 12:24:35 +02:00
Pablo Martin	347d3a969d	Initial commit.	2022-07-21 11:56:41 +02:00