F*

[Kent Sharkey]

F*[^]:

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

For those that give all the Fs

[Nelek]

Does "F*ck it" count too? :rolleyes:

M.D.V. ;) If something has a solution... Why do we have to worry about?. If it has no solution... For what reason do we have to worry about? Help me to understand what I'm saying, and I'll explain it better to you Rating helpful answers is nice, but saying thanks can be even nicer.

[Gary R Wheeler]

F* Compiler Kit Integration Toolset = F*CK IT

Software Zen: delete this;