@hackage pi-calculus0.0.5
Applied pi-calculus interpreter
Categories
License
GPL-3.0-only
Maintainer
will.derenzymartin@gmail.com
Links
- Homepage
- Documentation
- No source repository
- Changelog
- Security
Versions
Installation
Dependencies (0)
- base >=4.5 && <=4.8
- binary >=0.7.2 && <0.7.3
- bytestring >=0.10
- containers >=0.5 && <0.6
- mtl >=2.2 && <2.3
- parsec >=3.1 && <3.2 Show all…
Dependents (1)
@hackage/acme-everything
Phi - an interpreter for the applied pi-calculus. Very rough around the edges.