Comment by Jtsummers 7 years ago SPARK was barely making waves when they selected OCaml. OCaml was much more established by that time. 1 comment Jtsummers Reply johnisgood 7 years ago Fair enough. Then they should probably just focus on the second question. :)
Fair enough. Then they should probably just focus on the second question. :)