Build w/ cabal, README, LICENSE, and more structure

Author: Isweet

LICENSE

@@ -0,0 +1,32 @@
+# Principles of Program Analysis in Haskell
+## by Flemming Nielson, Hanne Riis Nielson, and Chris Hankin
+
+### Summary
+
+Implementations of analyses from Principles of Program Analysis by Nielson, Nielson, and Hankin.
+The implementations are all written in Haskell, and example analyses are all parsed directly from the
+book.
+
+### Building
+
+    % git clone [email protected]:Isweet/ppa.git
+    % cd ppa
+    % cabal sandbox init
+    % cabal build --ghc
+    % cabal test
+
+### Parser
+
+The parser for the While language (section 1.2, page 3) is written in Parsec. It is almost exactly
+the parser presented in [https://wiki.haskell.org/Parsing\_a\_simple\_imperative\_language](https://wiki.haskell.org/Parsing_a_simple_imperative_language),
+except that it includes functionality for generating a labeled AST.
+
+Make sure you have a sandbox created (as per the build instructions above), then:
+
+    % cabal repl
+    *PPA.While> let factorial = "y:=x; z:=1; while y>1 do (z:=z*y; y:=y-1); y:=0"
+    *PPA.While> let s = parse factorial
+    *PPA.While> showL s
+    "[y := x]^1; [z := 1]^2; while [(y > 1)]^3 do ([z := (z * y)]^4; [y := (y - 1)]^5); [y := 0]^6"
+    *PPA.While> wflow s
+    fromList [(1,2),(2,3),(3,4),(3,6),(4,5),(5,3)]

README.md

@@ -0,0 +1,2 @@
+import Distribution.Simple
+main = defaultMain

Setup.hs

@@ -0,0 +1,31 @@
+-- Initial ppa.cabal generated by cabal init.  For further documentation, 
+-- see http://haskell.org/cabal/users-guide/
+
+name:                ppa
+version:             0.1.0.0
+synopsis:            Principles of Program Analysis in Haskell
+-- description:         
+homepage:            https://github.com/Isweet/ppa
+license:             GPL-3
+license-file:        LICENSE
+author:              Ian Sweet
+maintainer:          [email protected]
+-- copyright:           
+category:            Static Analysis
+build-type:          Simple
+extra-source-files:  README.md
+cabal-version:       >=1.10
+
+library
+  exposed-modules:     PPA.While
+  -- other-modules:       
+  other-extensions:    FlexibleContexts
+  build-depends:       base >=4.8 && <4.9, mtl >=2.2 && <2.3, parsec >=3.1 && <3.2, containers >=0.5 && <0.6
+  hs-source-dirs:      src
+  default-language:    Haskell2010
+
+Test-Suite tests
+  type:                exitcode-stdio-1.0
+  main-is:             Main.hs
+  hs-source-dirs:      test
+  build-depends:       base, containers >=0.5 && <0.6, ppa

ppa.cabal

@@ -1,3 +1,5 @@
+module Main (main) where
+
 import PPA.While
 
 import qualified Data.Set as Set