issues
search
tweag
/
pirouette
Language-generic workbench for building static analysis
MIT License
47
stars
2
forks
source link
Cleanup the README
#183
Closed
Niols
closed
1 year ago
Niols
commented
1 year ago
This PR:
removes the table of contents; it had fallen out of sync with the document a while ago, and GitHub provides table of contents anyways,
augments the titles by one level, leaving only one level-1 title (“Pirouette”) and having all the sections starting at level 2.
reworks the links to make the markdown hopefully a bit more readable in text mode
changes the bit about
pirouette-plutusir
so that it points to the standalone repository.
This PR:
pirouette-plutusirso that it points to the standalone repository.