# The pi-calculus package

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

## Properties

Versions | 0.0.1, 0.0.3, 0.0.4, 0.0.5 |
---|---|

Dependencies | AES (==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.*) |

License | GPL-3 |

Author | Will de Renzy-Martin |

Maintainer | will.derenzymartin@gmail.com |

Category | Web |

Home page | https://github.com/renzyq19/pi-calculus |

Executables | phi |

Upload date | Tue Jun 17 08:19:28 UTC 2014 |

Uploaded by | renzyq19 |

Downloads | 176 total (27 in last 30 days) |

## Downloads

- pi-calculus-0.0.5.tar.gz [browse] (Cabal source package)
- Package description (included in the package)

#### Maintainers' corner

For package maintainers and hackage trustees