That's not a programming language. Different namespace.
No, but it's also in the space of functional programming language research.
I don't think a file sync tool that happens to be written in OCaml qualifies as FP research.
That's fair, but it was written by Ben Pierce of the FP research community. It's nice not to have two projects named the same thing within the same community.