diff options
| author | Frederik Ring <frederik.ring@gmail.com> | 2014-10-30 16:43:49 +0100 |
|---|---|---|
| committer | Frederik Ring <frederik.ring@gmail.com> | 2014-10-30 16:43:49 +0100 |
| commit | 9324987c1fc465379060491d9a4b1c25cffde0fc (patch) | |
| tree | c511b7ad6cb82554196b0104b25138122cc171a4 /standard-ml.html.markdown | |
| parent | 7d0eaa855959c03b52795a7457001bbd69d88464 (diff) | |
use propernotation for decimals
Diffstat (limited to 'standard-ml.html.markdown')
0 files changed, 0 insertions, 0 deletions