Skip to content

feat(library/init/meta/format): has_to_format α implies has_to_string α#231

Open
JLimperg wants to merge 1 commit intomasterfrom
has_to_format-has_to_string
Open

feat(library/init/meta/format): has_to_format α implies has_to_string α#231
JLimperg wants to merge 1 commit intomasterfrom
has_to_format-has_to_string

Commits

Commits on May 12, 2020