include miden compiler docs

kmurphypolygon · kmurphypolygon · commit 3feb23fb67d8 · 2024-09-06T09:42:44.000+02:00
diff --git a/mkdocs.yml b/mkdocs.yml
@@ -399,6 +399,7 @@ nav:
       - Miden: miden/index.md
       - Miden base: '!import https://github.com/0xPolygonMiden/miden-base?branch=main'
       - Miden client: '!import https://github.com/0xPolygonMiden/miden-client?branch=main'
+      - Miden compiler: '!import https://github.com/0xPolygonMiden/compiler?branch=next'
   - Developer tools: 
       - Developer tools: tools/index.md
       - dApp development: 
