Guy Cousineau's “Tilings as a programming exercise” paper in OCamlgithub.com/yvan-sraka2 pointsvmorgulis9 years ago