This issue was broken out from #4 . Using submodules for [popl](https://github.com/badaix/popl) and [FindMathematica](https://github.com/sakra/FindMathematica) ensures we get upstream bugfixes. The README.md should be updated to reflect the new location of the licenses and how to update submodules. - [ ] FindMathematica submodule - [ ] popl submodule - [ ] README.md modifications.
This issue was broken out from #4 . Using submodules for popl and FindMathematica ensures we get upstream bugfixes.
The README.md should be updated to reflect the new location of the licenses and how to update submodules.