forward-chan: Concurrent channels with a forwarding primitive

[ concurrency, library ] [ Propose Tags ]

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

See and for more information on this primitive.


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


Versions [RSS]
Dependencies base (>= && <6.0), SafeSemaphore (>=0.7 && <1.0), stm, unagi-chan (<1.0) [details]
License LicenseRef-Apache
Author Matthew Mirman
Category Concurrency
Home page
Source repo head: git clone git://
Uploaded by MatthewMirman at 2017-07-28T12:25:14Z
Distributions NixOS:
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 1045 total (10 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]