-- Initial pi-calculus.cabal generated by cabal init. For further -- documentation, see http://haskell.org/cabal/users-guide/ name: pi-calculus version: 0.0.5 synopsis: Applied pi-calculus interpreter description: Phi - an interpreter for the applied pi-calculus. Very rough around the edges. license: GPL-3 license-file: LICENSE author: Will de Renzy-Martin maintainer: will.derenzymartin@gmail.com -- copyright: homepage: https://github.com/renzyq19/pi-calculus category: Web build-type: Simple cabal-version: >=1.8 data-files: testing/*.pi, pilude.pi extra-source-files: changes.md executable phi main-is: PiCalculus.hs other-modules: Channel, Parser, PatternMatching, Primitives, TypDefs, Paths_pi_calculus build-depends: base >=4.5 && <=4.8, mtl ==2.2.*, parsec ==3.1.*, containers ==0.5.*, transformers ==0.4.*, network ==2.5.*, HTTP >=2.15, bytestring >=0.10, io-streams ==1.1.*, cryptohash ==0.11.*, byteable ==0.1.*, binary ==0.7.2.*, AES ==0.2.*, RSA ==1.2.2.*