Language Details: Standard ML
Standard ML is a general-purpose, modular, functional programming language with compile-time type checking and type inference; and a descendant of the ML programming language used in the Logic for Computable Functions theorem-proving project.
- Qualification Round (7 solutions by 2 contestants):
- Round 1A (1 solution by 1 contestant):
- FreeCell Statistics: 1 small solution.
|Gibraltar (1 contestant)|
United States (1 contestant)