2 ms·

Straight from https://mitls.org/ https://mitls.org/ > The stable version of miTLS including the new 0.9 release are written in F# With F# being a link to http

Straight from https://mitls.org/ https://mitls.org/ > The stable version of miTLS including the new 0.9 release are written in F# With F# being a link to https://fsharp.org/ https://fsharp.org/

profquail 6y ago
The original code was written in F#, then re-written later in F7 then F* (FStar).