Deploying to gh-pages from @ 3f60557 🚀

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

Hide file tree

Showing 6,347 changed files with 35,771,056 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