This repository was archived by the owner on Jun 1, 2023. It is now read-only.
This repository was archived by the owner on Jun 1, 2023. It is now read-only.
Add implementation details to README #39
Open
Description
In the original README, there was a Motivation section that included a list of the project's dependencies, like SwiftSemantics. We should bring back and revise this for the next release.