@hackage pi-calculus0.0.1

Applied pi-calculus compiler

Categories
- Web Development
License
GPL-3.0-only
Maintainer
will.derenzymartin@gmail.com
Links
- Homepage
- Documentation
- No source repository
Versions
- 0.0.5 Tue, 17 Jun 2014
- 0.0.4 Fri, 13 Jun 2014
- 0.0.3 Fri, 13 Jun 2014
- 0.0.1 Thu, 22 May 2014

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

Installation
In your cabal file:
Dependencies (0)
Dependents (1)
@hackage/acme-everything