Workspace of med-ubuntu-weekly on medinria-ubuntu

	building.rst	Feb 7, 2023, 1:05:45 PM	6.43 KiB
	embedding.rst	Feb 7, 2023, 1:05:45 PM	12.34 KiB
	extending.rst	Feb 7, 2023, 1:05:45 PM	56.79 KiB
	index.rst	Feb 7, 2023, 1:05:45 PM	2.81 KiB
	newtypes_tutorial.rst	Feb 7, 2023, 1:05:45 PM	33.42 KiB
	newtypes.rst	Feb 7, 2023, 1:05:45 PM	25.29 KiB
	windows.rst	Feb 7, 2023, 1:05:45 PM	6.25 KiB
(all files in zip)