Forked from
Iris / stdpp
2214 commits behind the upstream repository.
-
Johannes Kloos authored
The documentation for some typeclasses used the wrong names for these typeclasses.
Johannes Kloos authoredThe documentation for some typeclasses used the wrong names for these typeclasses.
base.v 48.53 KiB