Skip to content
Blame Permalink
  • Orestis Melkonian's avatar
    119bab44
    Docs: Extra documentation · 119bab44
    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
    Docs: Extra documentation
    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`
To learn more about this project, read the wiki.