Sadness, the "Supplementary materials" url <https://web.mit.edu/ellisk/www/dreamcodersupplement.pdf https://web.mit.edu/ellisk/www/dreamcodersupplement.pdf> is

Sadness, the "Supplementary materials" url <https://web.mit.edu/ellisk/www/dreamcodersupplement.pdf https://web.mit.edu/ellisk/www/dreamcodersupplement.pdf> is 404 as well as the 2 wayback captures of it are also 404 While trying to track it down, I did find a seemingly related set of GH repos https://github.com/ellisk42/ec/blob/master/dreamcoder/dreamcoder.py https://github.com/ellisk42/ec/blob/master/dreamcoder/dreamc... https://github.com/ellisk42/ecPaper/blob/master/talk.pdf https://github.com/ellisk42/ecPaper/blob/master/talk.pdf