diff options
| author | Janne R. <janne@raiskila.com> | 2014-08-26 20:48:35 +0300 |
|---|---|---|
| committer | Janne R. <janne@raiskila.com> | 2014-08-26 20:48:35 +0300 |
| commit | 54bd312f8de72d4ca109fb12351b44203a482d23 (patch) | |
| tree | c5dab33ae291dd40cb5efb2a74804559694271e5 /standard-ml.html.markdown | |
| parent | 3b121aa0ea63323df883ba6bbc473852a36b0015 (diff) | |
Use preferred shorthand syntax for dictionary type
Diffstat (limited to 'standard-ml.html.markdown')
0 files changed, 0 insertions, 0 deletions