Deploying to gh-pages from @ 2753620 🚀

Beluga-lang · Oct 2, 2024 · 22cfcca · 22cfcca
1 parent fa0dc19
commit 22cfcca
Show file tree

Hide file tree

Showing 6 changed files with 1,424 additions and 1,156 deletions.
diff --git a/Mcltt.Core.Completeness.Consequences.Types.html b/Mcltt.Core.Completeness.Consequences.Types.html
diff --git a/Mcltt.Core.Semantic.Consequences.html b/Mcltt.Core.Semantic.Consequences.html
diff --git a/Mcltt.Core.Semantic.NbE.html b/Mcltt.Core.Semantic.NbE.html
diff --git a/Mcltt.Core.Syntactic.System.Lemmas.html b/Mcltt.Core.Syntactic.System.Lemmas.html
diff --git a/dep.html b/dep.html
diff --git a/indexpage.html b/indexpage.html