# Running test, requires cabal

./execute_tests.sh

# Editing

The various tests are defined in the Main.hs file of
the pat-complete-0.1.0.0 directory.

.
├── Readme.txt
├── cabal.project
├── fort-h-2.0	                   # fort-h source used as a TA-library
└── pat-complete-0.1.0.0
    ├── Main.hs                    # hand written
    ├── Pat_Complete_Generated.hs  # verified code, generated from Isabelle
    └── pat-complete.cabal
