download all originals (max 1 GB)| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| asl.ml | Text File | 4 | 93 b | 1993-09-24 |
| asl.mli | Text File | 6 | 150 b | 1993-09-24 |
| example.asl | Text File | 21 | 480 b | 1993-09-24 |
| example.res | Text File | 73 | 1.3 KB | 1993-09-24 |
| load.ml | Text File | 17 | 285 b | 1993-09-24 |
| loadall.ml | Text File | 21 | 428 b | 1993-09-24 |
| main.ml | Text File | 107 | 2.8 KB | 1993-09-24 |
| main.mli | Text File | 9 | 186 b | 1993-09-24 |
| parser.ml | Text File | 66 | 1.7 KB | 1993-09-24 |
| parser.mli | Text File | 26 | 626 b | 1993-09-24 |
| README | Text File | 3 | 120 b | 1993-09-24 |
| run.ml | Text File | 9 | 166 b | 1993-09-24 |
| semant.ml | Text File | 64 | 2.0 KB | 1993-09-24 |
| token.ml | Text File | 73 | 1.8 KB | 1993-09-24 |
| token.mli | Text File | 14 | 354 b | 1993-09-24 |
| typing.ml | Text File | 226 | 7.0 KB | 1993-09-24 |