diff --git a/ChangeLog.md b/ChangeLog.md deleted file mode 100644 index de52b4a..0000000 --- a/ChangeLog.md +++ /dev/null @@ -1,3 +0,0 @@ -# Changelog for InHs - -## Unreleased changes diff --git a/README.md b/README.md index 6427a26..a9f1366 100644 --- a/README.md +++ b/README.md @@ -203,10 +203,13 @@ The Specification for each of the Records and Value types can be found in [Examp ``` ├── app │   └── Main.hs -├── bin -│   └── InHs-exe +├── LICENSE +├── Makefile +├── package.yaml +├── README.md ├── Setup.hs ├── src +│   ├── ExecuteProgram.hs │   ├── Execution.hs │   ├── Helpers.hs │   ├── SingleAssignmentStore.hs