| changeset 37966 | ac9bcae5ada7 |
| parent 37959 | 6fe5fa827f18 |
| child 38058 | e4640c2ceb43 |
| 37965:0c1743d31b5c | 37966:ac9bcae5ada7 |
|---|---|
653 |
653 |
654 code_reserved SML upto |
654 code_reserved SML upto |
655 |
655 |
656 ML {* @{code qsort} (Array.fromList [42, 2, 3, 5, 0, 1705, 8, 3, 15]) () *} |
656 ML {* @{code qsort} (Array.fromList [42, 2, 3, 5, 0, 1705, 8, 3, 15]) () *} |
657 |
657 |
658 export_code qsort checking SML SML_imp OCaml? OCaml_imp? Haskell? (*Scala?*) |
658 export_code qsort checking SML SML_imp OCaml? OCaml_imp? Haskell? Scala? |
659 |
659 |
660 end |
660 end |