@hackage tcp0.0.2

A purely functional TCP implementation

Categories
- Network Development
License
BSD-3-Clause
Maintainer
Don Stewart
Links
- Homepage
- Documentation
- No source repository
- Security
Versions
- 0.0.2 Tue, 7 Apr 2009

Installation
In your cabal file:
Dependencies (3)
Dependents (1)
@hackage/acme-everything

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.