This project gathers together many different fragments of my Maude code.
The directory hierarhcy is structured as follows:
- bin - contains any scripts/binaries that we use currently just contains test runner script
- src - contains source code of my various Maude projects
- test - contains source code for any tests we write
- upstream - contains code from upstream Maude developers; this folder will be updated manually and various branches will be designed to track certain versions of Maude