12 ms·
a target is something you compile to, but LowStar is a subset, it is something you compile from.
by iso8859-1 6y ago
a target is something you compile to, but LowStar is a subset, it is something you compile from.
- tluyben2 6y agoWell 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.