microsoft / verona

Research programming language for concurrent ownership
https://microsoft.github.io/verona/
MIT License
3.58k stars 167 forks source link

Reboot the Verona Repo #634

Closed mjp41 closed 1 year ago

mjp41 commented 1 year ago

This commit removes almost everything from the repo. This is in preparation for bringing in the new Trieste based frontend.

The commit is very aggressive in removing things, but old stuff can be reinstated from the old_version branch.

The aim is to ensure everything in the repo is consistent, so we will need to PR in any documentation and code.