I still think this discussion needs more computational complexity
IIRC, Daniel Dewey said at the April workshop that this is, in fact, his current project.
IIRC, Daniel Dewey said at the April workshop that this is, in fact, his current project.