packages feed

pi-calculus-0.0.4: pi-calculus.cabal

-- Initial pi-calculus.cabal generated by cabal init.  For further 
-- documentation, see http://haskell.org/cabal/users-guide/

name:                pi-calculus
version:             0.0.4
synopsis:            Applied pi-calculus compiler
description:         Phi - A compiler 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

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.*