[mdaniel]

Sadness, the "Supplementary materials" url <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/dreamc...

https://github.com/ellisk42/ecPaper/blob/master/talk.pdf