Deploying to gh-pages from @ 7d87039 🚀

Beluga-lang · Nov 16, 2024 · 4279813 · 4279813
1 parent 303da33
commit 4279813
Show file tree

Hide file tree

Showing 145 changed files with 26,396 additions and 26,391 deletions.
diff --git a/Mcltt.Algorithmic.Subtyping.Definitions.html b/Mcltt.Algorithmic.Subtyping.Definitions.html
diff --git a/Mcltt.Algorithmic.Subtyping.Lemmas.html b/Mcltt.Algorithmic.Subtyping.Lemmas.html
diff --git a/Mcltt.Algorithmic.Typing.Definitions.html b/Mcltt.Algorithmic.Typing.Definitions.html
diff --git a/Mcltt.Algorithmic.Typing.Lemmas.html b/Mcltt.Algorithmic.Typing.Lemmas.html
diff --git a/Mcltt.Core.Completeness.Consequences.Rules.html b/Mcltt.Core.Completeness.Consequences.Rules.html
diff --git a/Mcltt.Core.Completeness.Consequences.Types.html b/Mcltt.Core.Completeness.Consequences.Types.html
diff --git a/Mcltt.Core.Completeness.ContextCases.html b/Mcltt.Core.Completeness.ContextCases.html
diff --git a/Mcltt.Core.Completeness.FunctionCases.html b/Mcltt.Core.Completeness.FunctionCases.html
diff --git a/Mcltt.Core.Completeness.FundamentalTheorem.html b/Mcltt.Core.Completeness.FundamentalTheorem.html
diff --git a/Mcltt.Core.Completeness.LogicalRelation.Definitions.html b/Mcltt.Core.Completeness.LogicalRelation.Definitions.html
diff --git a/Mcltt.Core.Completeness.LogicalRelation.Lemmas.html b/Mcltt.Core.Completeness.LogicalRelation.Lemmas.html
diff --git a/Mcltt.Core.Completeness.NatCases.html b/Mcltt.Core.Completeness.NatCases.html
diff --git a/Mcltt.Core.Completeness.SubstitutionCases.html b/Mcltt.Core.Completeness.SubstitutionCases.html
diff --git a/Mcltt.Core.Completeness.SubtypingCases.html b/Mcltt.Core.Completeness.SubtypingCases.html
diff --git a/Mcltt.Core.Completeness.TermStructureCases.html b/Mcltt.Core.Completeness.TermStructureCases.html
diff --git a/Mcltt.Core.Completeness.UniverseCases.html b/Mcltt.Core.Completeness.UniverseCases.html
diff --git a/Mcltt.Core.Completeness.VariableCases.html b/Mcltt.Core.Completeness.VariableCases.html
diff --git a/Mcltt.Core.Completeness.html b/Mcltt.Core.Completeness.html
diff --git a/Mcltt.Core.Semantic.Consequences.html b/Mcltt.Core.Semantic.Consequences.html
diff --git a/Mcltt.Core.Semantic.Domain.html b/Mcltt.Core.Semantic.Domain.html
diff --git a/Mcltt.Core.Semantic.Evaluation.Definitions.html b/Mcltt.Core.Semantic.Evaluation.Definitions.html
diff --git a/Mcltt.Core.Semantic.Evaluation.Lemmas.html b/Mcltt.Core.Semantic.Evaluation.Lemmas.html
diff --git a/Mcltt.Core.Semantic.NbE.html b/Mcltt.Core.Semantic.NbE.html
diff --git a/Mcltt.Core.Semantic.PER.Definitions.html b/Mcltt.Core.Semantic.PER.Definitions.html
diff --git a/Mcltt.Core.Semantic.PER.Lemmas.html b/Mcltt.Core.Semantic.PER.Lemmas.html
diff --git a/Mcltt.Core.Semantic.Readback.Definitions.html b/Mcltt.Core.Semantic.Readback.Definitions.html
diff --git a/Mcltt.Core.Semantic.Readback.Lemmas.html b/Mcltt.Core.Semantic.Readback.Lemmas.html
diff --git a/Mcltt.Core.Semantic.Realizability.html b/Mcltt.Core.Semantic.Realizability.html
diff --git a/Mcltt.Core.Soundness.ContextCases.html b/Mcltt.Core.Soundness.ContextCases.html