mathlib3
feat(meta/pformat): format! macro using `pp` instead of `to_fmt`
#1194

Merged

Commits

feat(meta/pformat): format! macro which uses `pp` instead of `to_fmt`

cipher1024 committed 6 years ago
Update core.lean

cipher1024 committed 6 years ago
Merge branch 'master' into pp_format

mergify[bot] committed 6 years ago

Loading