Skip to content

Improve documentation of convention for `AsFractional` instances

Robbert Krebbers requested to merge robbert/asfractional into master

See discussion at !737 (comment 75155)

@Blaisorblade and @jung please review.

Merge request reports