Skip to content

Allow decimal notation for multiple types by scoping builtin map… - #1326

Closed
NotBad4U wants to merge 4 commits into
Deducteam:masterfrom
NotBad4U:update-decimal-notation
Closed

NotBad4U wants to merge 4 commits into
Deducteam:masterfrom
NotBad4U:update-decimal-notation