F* is a dependently-typed programming language developed at Microsoft Research based on F#. It can be compiled to either .NET CIL or JavaScript.The type system of F* is much richer than that of F#. It allows for functional correctness specifications that can be checked semi-automatically.
This page contains content from the copyrighted Wikipedia article "F* (programming language)"; that content is used under the GNU Free Documentation License (GFDL). You may redistribute it, verbatim or modified, providing that you comply with the terms of the GFDL.