Update examples

mattam82 · Jan 29, 2025 · 510bbdb · 510bbdb
1 parent c7b1d4b
commit 510bbdb
Show file tree

Hide file tree

Showing 22 changed files with 5,181 additions and 3,950 deletions.
diff --git a/examples/Examples.AlmostFull.html b/examples/Examples.AlmostFull.html
diff --git a/examples/Examples.Basics.html b/examples/Examples.Basics.html
diff --git a/examples/Examples.Equations_Tutorial_VeriMag.html b/examples/Examples.Equations_Tutorial_VeriMag.html
diff --git a/examples/Examples.Fin.html b/examples/Examples.Fin.html
diff --git a/examples/Examples.HoTT_light.html b/examples/Examples.HoTT_light.html
diff --git a/examples/Examples.MoreDep.html b/examples/Examples.MoreDep.html
diff --git a/examples/Examples.POPLMark1a.html b/examples/Examples.POPLMark1a.html
diff --git a/examples/Examples.RoseTree.html b/examples/Examples.RoseTree.html
diff --git a/examples/Examples.STLC.html b/examples/Examples.STLC.html
diff --git a/examples/Examples.accumulator.html b/examples/Examples.accumulator.html
diff --git a/examples/Examples.bove_capretta.html b/examples/Examples.bove_capretta.html
diff --git a/examples/Examples.definterp.html b/examples/Examples.definterp.html
diff --git a/examples/Examples.general_recursion.html b/examples/Examples.general_recursion.html
diff --git a/examples/Examples.graph_complete.html b/examples/Examples.graph_complete.html
diff --git a/examples/Examples.ho_finite_branching.html b/examples/Examples.ho_finite_branching.html
diff --git a/examples/Examples.mutualwfrec.html b/examples/Examples.mutualwfrec.html
diff --git a/examples/Examples.nested_mut_rec.html b/examples/Examples.nested_mut_rec.html
diff --git a/examples/Examples.ordinals.html b/examples/Examples.ordinals.html
diff --git a/examples/Examples.polynomials.html b/examples/Examples.polynomials.html
diff --git a/examples/Examples.string_matching.html b/examples/Examples.string_matching.html
diff --git a/examples/Examples.views.html b/examples/Examples.views.html
diff --git a/examples/Examples.wfrec.html b/examples/Examples.wfrec.html