Beluga-lang
diff --git a/‎Mcltt.Core.Completeness.NatCases.html
+125-125 b/‎Mcltt.Core.Completeness.NatCases.html
+125-125
diff --git a/‎Mcltt.Core.Semantic.Evaluation.Definitions.html
+14-14 b/‎Mcltt.Core.Semantic.Evaluation.Definitions.html
+14-14
diff --git a/‎Mcltt.Core.Semantic.PER.Definitions.html
+131-131 b/‎Mcltt.Core.Semantic.PER.Definitions.html
+131-131
diff --git a/‎Mcltt.Core.Semantic.Readback.Definitions.html
+26-26 b/‎Mcltt.Core.Semantic.Readback.Definitions.html
+26-26
diff --git a/‎Mcltt.Core.Soundness.LogicalRelation.Definitions.html
+212-212 b/‎Mcltt.Core.Soundness.LogicalRelation.Definitions.html
+212-212
diff --git a/‎Mcltt.Core.Soundness.NatCases.html
+177-177 b/‎Mcltt.Core.Soundness.NatCases.html
+177-177
diff --git a/‎Mcltt.Extraction.Evaluation.html
+88-88 b/‎Mcltt.Extraction.Evaluation.html
+88-88
diff --git a/‎Mcltt.Extraction.Readback.html
+99-99 b/‎Mcltt.Extraction.Readback.html
+99-99