tcp

A purely functional TCP implementation

http://www.cl.cam.ac.uk/~pes20/Netsem/

Latest on Hackage:

0.0.2

This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.

BSD-3-Clause licensed by Peng Li and Stephan Zdancewic

Maintained by Don Stewart

A purely functional TCP implementation

Peng Li's TCP stack based on the formal HOL4 TCP specification at http://www.cl.cam.ac.uk/~pes20/Netsem/, code base on the unified events and threads project http://www.seas.upenn.edu/~lipeng/homepage/unify.html.