Skip to content

GitLab

S
stdpp
Merged
Opened by Robbert@robbertkrebbers
Report abuse

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