Skip to content

Document convention to use `f_as_g` in naming.

Robbert Krebbers requested to merge robbert/naming_as into master

Merge request reports