homepage: http://github.com/mmirman/forward-chan
changelog-type: ''
hash: 915eb6d23a0194e99ffd242eb75d9c807cd1c614710a3e93cd634ea190c43f76
test-bench-deps: {}
maintainer: matt@mirman.com
synopsis: Concurrent channels with a forwarding primitive
changelog: ''
basic-deps:
  stm: -any
  base: ! '>=4.7.0.0 && <6.0'
  SafeSemaphore: ! '>=0.7 && <1.0'
  unagi-chan: <1.0
all-versions:
- '0.0.0.0'
author: Matthew Mirman
latest: '0.0.0.0'
description-type: haddock
description: ! '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.'
license-name: Apache

Update from Hackage at 2017-07-28T12:41:08Z
Update from Hackage at 2017-07-28T12:41:08Z
