/icfp18

Technical appendix of my ICFP 2018 submission

icfp18-appendix

Technical appendix of my ICFP 2018 submission