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.