Skip to content

Built-in type families: CharToNat, NatToChar (#19535)

Vladislav Zavialov requested to merge wip/char-type-families into master

Per the discussion at singletons #487, I extracted and refactored a small part of !3598

Edited by Vladislav Zavialov

Merge request reports