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.

Versions [RSS] [faq]
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:
Downloads 887 total (6 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs uploaded by user
Build status unknown [no reports yet]




Maintainer's Corner

For package maintainers and hackage trustees