download all originals (max 1 GB)| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| animation.ml | Text File | 96 | 2.8 KB | 1993-09-24 |
| animation.mli | Text File | 14 | 307 b | 1993-09-24 |
| bubble.ml | Text File | 22 | 422 b | 1993-09-24 |
| insertion.ml | Text File | 23 | 511 b | 1993-09-24 |
| loadall.ml | Text File | 4 | 91 b | 1993-09-24 |
| showsort.ml | Text File | 355 | 9.8 KB | 1993-09-24 |