We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 199da98 commit a3c7282Copy full SHA for a3c7282
README.md
@@ -59,7 +59,7 @@ See [DOC.md](https://github.com/MetaRocq/metarocq/blob/-/DOC.md)
59
At the center of this project is the Template-Rocq quoting library for
60
Rocq. The project currently has a single repository extending
61
Template-Rocq with additional features. Each extension is in a dedicated folder.
62
-The [dependency graph](https://raw.githubusercontent.com/MetaRocq/metarocq.github.io/main/assets/depgraph-2022-07-01.png)
+The [dependency graph](https://github.com/MetaRocq/metarocq.github.io/raw/master/assets/depgraph-2022-07-01.png)
63
might be useful to navigate the project.
64
Statistics: ~300kLoC of Rocq, ~30kLoC of OCaml.
65
0 commit comments