Does anyone have experience running the languages coming out of Microsoft Research on Mono? I have no experience with C# or Mono, but I am interested in having a go with F* and would appreciate any guidance someone more familiar with the tech stack might have.