https://github.com/iraikov/arraysort
Array merge sort implementation in Standard ML / MLton
https://github.com/iraikov/arraysort
Last synced: 3 months ago
JSON representation
Array merge sort implementation in Standard ML / MLton
- Host: GitHub
- URL: https://github.com/iraikov/arraysort
- Owner: iraikov
- License: other
- Created: 2013-05-28T08:19:40.000Z (over 12 years ago)
- Default Branch: master
- Last Pushed: 2014-06-09T07:11:14.000Z (over 11 years ago)
- Last Synced: 2025-03-25T18:51:52.299Z (7 months ago)
- Language: Standard ML
- Size: 137 KB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
arraysort
=========Array merge sort implementation in Standard ML / MLton
Copyright 2013 Ivan Raikov and the Okinawa Institute of Science and Technology.
This program is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or (at
your option) any later version.This program is distributed in the hope that it will be useful, but
WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
General Public License for more details.A full copy of the GPL license can be found at
.