Update README.md
Opened this issue · 0 comments
ioggstream commented
I expect
All information in README.md to be updated
Instead
It references daf-semantics and other archived repos.
Opened this issue · 0 comments
All information in README.md to be updated
It references daf-semantics and other archived repos.