Tag Archives: tail calls

F* Challenge or The Tale of Tails

[This blog was moved here] F* is a verification-oriented programming language developed at Microsoft Research. If you already know F#, or OCaml, or Haskell, or another language from ML family, you’ll find it familiar. Resources F* project home Rise4Fun – try it online/go ...