Initial Commit

Comes with a .cabal file that says to use z3, but you gotta install it
first. This is *kind of* involved and so we should just do that
together.

ChangeLog.md

+# Revision history for program-semantics
+
+## 0.1.0.0 -- YYYY-mm-dd
+
+* First version. Released on an unsuspecting world.

Setup.hs

+import Distribution.Simple
+main = defaultMain

program-semantics.cabal

+-- Initial program-semantics.cabal generated by cabal init.  For further
+-- documentation, see http://haskell.org/cabal/users-guide/
+
+-- The name of the package.
+name:                program-semantics
+
+-- The package version.  See the Haskell package versioning policy (PVP)
+-- for standards guiding when and how versions should be incremented.
+-- https://wiki.haskell.org/Package_versioning_policy
+-- PVP summary:      +-+------- breaking API changes
+--                   | | +----- non-breaking API additions
+--                   | | | +--- code changes with no API change
+version:             0.1.0.0
+
+-- A short (one-line) description of the package.
+-- synopsis:
+
+-- A longer description of the package.
+-- description:
+
+-- The license under which the package is released.
+license:             AllRightsReserved
+
+-- The file containing the license text.
+license-file:        LICENSE
+
+-- The package author(s).
+author:              Bart Wijgers
+
+-- An email address to which users can send suggestions, bug reports, and
+-- patches.
+maintainer:          bartwijgers@hotmail.com
+
+-- A copyright notice.
+-- copyright:
+
+-- category:
+
+build-type:          Simple
+
+-- Extra files to be distributed with the package, such as examples or a
+-- README.
+extra-source-files:  ChangeLog.md
+
+-- Constraint on the version of Cabal needed to build this package.
+cabal-version:       >=1.10
+
+
+executable program-semantics
+  -- .hs or .lhs file containing the Main module.
+  main-is:             Main.hs
+
+  -- Modules included in this executable, other than Main.
+  -- other-modules:
+
+  -- LANGUAGE extensions used by modules in this package.
+  -- other-extensions:
+
+  -- Other library packages from which modules are imported.
+  build-depends:       base >=4.11 && <4.12
+                     , z3
+
+  -- Directories containing source files.
+  hs-source-dirs:      src
+
+  -- Base language which the package is written in.
+  default-language:    Haskell2010
+

src/Main.hs

+module Main where
+
+main :: IO ()
+main = putStrLn "Hello, Haskell!"