You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Hi there. I see this language and understand about OCaml, but I don't see any proofs what the difference, what the performance better or worse. I mean, I have javascript\typescript\C#\Go and this languages have different workspaces, tasks and proofs.
When I should use this language and why exactly this lng? - that's the main question.
The text was updated successfully, but these errors were encountered:
ok, thank you, btw I saw in documentation only about how it sound good, but why it better than typescript or c# and for what tasks it was created - nothing.
Hi there. I see this language and understand about OCaml, but I don't see any proofs what the difference, what the performance better or worse. I mean, I have javascript\typescript\C#\Go and this languages have different workspaces, tasks and proofs.
When I should use this language and why exactly this lng? - that's the main question.
The text was updated successfully, but these errors were encountered: