Comment by pvsnp

9 hours ago

I liked being able to express calling external libraries while incrementally migrating existing C codebases to F*. Very solid language.

2 comments

pvsnp

Reply
rixed  7 hours ago

What do you mean "express calling"? You mean calling the former C versions of the functions not yet ported, while asserting their behavior?

  • aw1621107  22 minutes ago

    I think it's meant to be parsed as "I liked being able to (express (calling external libraries))", not "I liked being able to (express calling) (external libraries)"