The pi-calculus package

[Tags: gpl, program]

Phi - an interpreter for the applied pi-calculus. Very rough around the edges.


Properties

Versions0.0.1, 0.0.3, 0.0.4, 0.0.5
DependenciesAES (==0.2.*), base (>=4.5 && <=4.8), binary (==0.7.2.*), byteable (==0.1.*), bytestring (>=0.10), containers (==0.5.*), cryptohash (==0.11.*), HTTP (>=2.15), io-streams (==1.1.*), mtl (==2.2.*), network (==2.5.*), parsec (==3.1.*), RSA (==1.2.2.*), transformers (==0.4.*)
LicenseGPL-3
AuthorWill de Renzy-Martin
Maintainerwill.derenzymartin@gmail.com
CategoryWeb
Home pagehttps://github.com/renzyq19/pi-calculus
Executablesphi
UploadedTue Jun 17 08:19:28 UTC 2014 by renzyq19
Downloads286 total (29 in last 30 days)
StatusDocs not available [build log]
Successful builds reported [all 1 reports]

Downloads

Maintainers' corner

For package maintainers and hackage trustees