tree a2d76afcefef5317b7bb45b392ee718e1d3741b8
parent 0ffe031e26c5db1fe340c53191b78a40897036bd
author Alex Heneveld <alex@cloudsoft.io> 1696600864 +0100
committer Alex Heneveld <alex@cloudsoft.io> 1696600864 +0100

note on non-det failure