Skip to content
Snippets Groups Projects
user avatar
Orestis Melkonian authored
  * `docs/DEPLOY.md`: Deployment instructions

  * `docs/STRUCTURE.md`: File structure

  * Minor fixes in `README.md`, `Z3/API.hs`, `Normalizer.hs`

  * Deleted old `.gitmodules`
119bab44
History
Name Last commit Last update
..
API.md
DEPLOY.md
EDSL.md
STRUCTURE.md