repo for "An Introduction to Interactive Programming in Python" stuff