ICFP 2020 Final Release v1

This release includes some minor modifications since the ICFP 2020 camera-ready submission. Notably, it includes module-level documentation for the smyth library and fixes a bug that caused Experiments 2b and 3b to fail to run.

ICFP 2020 Camera-Ready Submission

icfp-2020-camera-ready

Experiment 4 failure labels: X{1,2,3} -> X{1,0,2}