Skip to content

GitLab

Merged
Created by Robbert Krebbers@robbertkrebbersMaintainer

Add a `NoBackTrack` type class.

NoBackTrack P requires P but will never backtrack on it once a result for P has been found.

See also https://gitlab.mpi-sws.org/FP/iris-coq/merge_requests/112