@hackage full-sessions0.4.189

yet another implementation of session types which does not require annotations

full-sessions: yet another implementation of session types

visit: http://www.agusa.i.is.nagoya-u.ac.jp/person/sydney/full-sessions.html

INSTALL: to install for a local user: $ ./Setup.hs configure $ ./Setup.hs build $ ./Setup.hs install

part of example depends on Tov's ixdopp. in case you need it, $ cabal install ixdopp