Skip to content
GitLab
Explore
Sign in
David Swasey
coq-stdpp
Repository
coq-stdpp
theories
error.v
Find file
Blame
History
Permalink
Make simplify_error_equality a bit faster.
· 7040c040
Robbert Krebbers
authored
Aug 22, 2014
It is still rather slow, though.
7040c040