Closed johnchandlerburnham closed 4 years ago
John, I've updated the README to reflect the fact it is just about Formality-Core now, but merging all those changes will be very laborious. If you want to, please bring the parts you care to the updated readme and I will merge.
John, I've updated the README to reflect the fact it is just about Formality-Core now, but merging all those changes will be very laborious. If you want to, please bring the parts you care to the updated readme and I will merge.