The pi-calculus package

[maintain]

Phi - A compiler for the applied pi-calculus. Very rough around the edges.

Properties

Versions0.0.1, 0.0.3, 0.0.4, 0.0.5, 0.4.0
Dependenciesbase (>=4.5 && <=4.7), containers (==0.5.*), HTTP (>=2.15), mtl (==2.2.*), network (==2.5.*), parsec (==3.1.*), transformers (==0.4.*) [details]
LicenseGPL-3
AuthorWill de Renzy-Martin
Maintainerwill.derenzymartin@gmail.com
CategoryWeb
Executablesphi
UploadedThu May 22 11:40:41 UTC 2014 by renzyq19

Downloads

Maintainers' corner

For package maintainers and hackage trustees