Closed BenjaminPelletier closed 3 years ago
This PR harmonizes various aspects of the API with the text of the standard (addressing #38), as well as cleaning up a few small, miscellaneous issues.
This PR harmonizes various aspects of the API with the text of the standard (addressing #38), as well as cleaning up a few small, miscellaneous issues.