benjishults/bitnots

try coroutines to parallelize breadth-first unification

benjishults opened this issue · 1 comments

benjishults commented

try coroutines for breadth-first unification