Deploying to gh-pages from @ ceb91aa 🚀

IntersectMBO · Jul 9, 2024 · 925e040 · 925e040
commit 925e040
Show file tree

Hide file tree

Showing 5,978 changed files with 35,725,023 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -0,0 +1,11 @@
+.pre-commit-config.yaml
+cabal.project.freeze
+dist
+dist-newstyle
+linkchecker-out.txt
+.vscode
+/plutus-metatheory
+/test
+result
+/doc
+haddock
diff --git a/CNAME b/CNAME
@@ -0,0 +1 @@
+plutus.cardano.intersectmbo.org