Skip to content
GitLab
Explore
Sign in
Rodolphe Lepigre
stdpp
Repository
stdpp
theories
namespaces.v
Find file
Blame
History
Permalink
More efficient `Countable` instance for list and make `namespaces` independent of that.
· 40251b3d
Robbert Krebbers
authored
Mar 14, 2019
This reverts part of commit
54954f55
.
40251b3d