157 ms·
F* not F# https://en.m.wikipedia.org/wiki/F*_(programming_language) https://en.m.wikipedia.org/wiki/F*_(programming_language). It compiles to C.
by forty 7y ago
F* not F# https://en.m.wikipedia.org/wiki/F*_(programming_language) https://en.m.wikipedia.org/wiki/F*_(programming_language).
It compiles to C.
- kitd 7y agoFrom the linked project page: The stable version of miTLS including the new 0.9 release are written in F# and specified in F7. Excuse my confusion.