The Stack Overflow podcast is back! Listen to an interview with our new CEO.

Questions tagged [fstar]

F* (pronounced F star) is a general-purpose functional programming language with effects aimed at program verification.

Filter by
Sorted by
Tagged with
2
votes
1answer
52 views

What does `Dv` mean in $F\star$ language?

In the $F\star$ tutorial it says Dv, the effect of a computation that may diverge; what does diverge mean here? It's not explained and it confuses me. I guess ...