-
GILLES Sebastien authored
In 3-Types, modify an example which could introduce confusion (two equivalent syntaxes were shown one with `float` and the other with `double`, which could draw false inferences...)
GILLES Sebastien authoredIn 3-Types, modify an example which could introduce confusion (two equivalent syntaxes were shown one with `float` and the other with `double`, which could draw false inferences...)