diff options
Diffstat (limited to 'format.sml')
| -rw-r--r-- | format.sml | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/format.sml b/format.sml deleted file mode 100644 index 98e8230..0000000 --- a/format.sml +++ /dev/null @@ -1,7 +0,0 @@ -structure Format = -struct - fun listToString (show : 'a -> string) (l : 'a list) = - "[" ^ String.concatWith ", " (map show l) ^ "]" - - fun pairToString showA showB (a, b) = "(" ^ showA a ^ ", " ^ showB b ^ ")" -end |