4 ms·
Try reading the tutorial. F* uses refinement types, which means that logic is checked before the program is executed, at compile time.
by amw-zero 6y ago
Try reading the tutorial. F* uses refinement types, which means that logic is checked before the program is executed, at compile time.