3 ms·
Well it is a subset of F* which compiles to C. So you do not compile to lowstar, lowstar is the F* you write which compiles to C.
by tluyben2 6y ago
Well it is a subset of F* which compiles to C. So you do not compile to lowstar, lowstar is the F* you write which compiles to C.