forward-chan

Concurrent channels with a forwarding primitive.

An implementation of the forward primitive, useful for proof terms from the sequent caluclus formulation of linear logic

See http://github.com/mmirman/forward-chan and http://www.cs.cmu.edu/~fp/papers/tldi12.pdf for more information on this primitive.