Comment on Introducing Transport Layer Security in pure OCamlComments−tenzing12yThere's also miTLS http://www.mitls.org/wsgi/home - a verified reference implementation of TLS written in F#
Comments
There's also miTLS http://www.mitls.org/wsgi/home - a verified reference implementation of TLS written in F#