Deploying to gh-pages from @ 7a24d97 🚀

IntersectMBO · Jul 5, 2024 · b26bd3c · b26bd3c
commit b26bd3c
Show file tree

Hide file tree

Showing 5,978 changed files with 35,707,535 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