Sources for the PureScript book