Skip to content
GitLab

WIP: Pretty-print 0 as "0" for N, Z, and nat

Closed Tej Chajed requested to merge tchajed/stdpp:fix-pretty-0 into master

Formerly printed as an empty string.

Edited by Tej Chajed