diff options
Diffstat (limited to 'result.sml')
| -rw-r--r-- | result.sml | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/result.sml b/result.sml deleted file mode 100644 index ff1a9a3..0000000 --- a/result.sml +++ /dev/null @@ -1,4 +0,0 @@ -structure Result = -struct - datatype ('a, 'b) either = Left of 'a | Right of 'b -end |