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.
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.