Playing with interleaving small-step evaluator for synthesis. With Michael Ballantyne. - View it on GitHub