Transforms a subset of F* into C code. See the ML Workshop Paper for more information.
Just run make from this directory. The test suite (make test) requires the
latest version of F*.
This new variant of F* is released under the Apache 2.0 license;
see LICENSE for more details.