4 ms·
although, if you don't use any refinement types in your program, i don't see why you can't write general purpose programs and extract code to Ocaml and F#
by platz 9y ago
although, if you don't use any refinement types in your program, i don't see why you can't write general purpose programs and extract code to Ocaml and F#