Merge branch 'master' of git://factorcode.org/git/factor
[factor/jcg.git] / extra / backtrack / summary.txt
blobd2d3918a9824ef3d110b582d8c3ed16cd4c53780
1 Simple non-determinism