Comment by pvsnp
8 hours ago
I liked being able to express calling external libraries while incrementally migrating existing C codebases to F*. Very solid language.
8 hours ago
I liked being able to express calling external libraries while incrementally migrating existing C codebases to F*. Very solid language.
What do you mean "express calling"? You mean calling the former C versions of the functions not yet ported, while asserting their behavior?