Remove duplicate examples

voodoos · Nov 16, 2018 · d879266 · d879266
1 parent 5a2d462
commit d879266
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/docs/index.html b/docs/index.html
@@ -66,17 +66,17 @@
 									<!--a class="dropdown-item" href="#nbe"
 		     onClick="load('nbe');">Norm. by subst.</a-->
 
-									<div class="dropdown-divider"></div>
+									<!--div class="dropdown-divider"></div>
 									<a class="dropdown-item disabled droptitle" disabled>Talk examples</a>
 									<a class="dropdown-item" href="#t_subst" onClick="load('t_subst');">Subst</a>
 									<a class="dropdown-item" href="#t_beta" onClick="load('t_beta');">Beta</a>
 									<a class="dropdown-item" href="#t_vac" onClick="load('t_vac');">Vacuous</a>
-									<a class="dropdown-item" href="#unification" onClick="load('unification');">Unification</a>
+									<a class="dropdown-item" href="#unification" onClick="load('unification');">Unification</a-->
 									<div class="dropdown-divider"></div>
 									<a class="dropdown-item disabled droptitle" disabled>Miscellaneous</a>
 									<a class="dropdown-item" href="#fibo" onClick="load('fibo');">Fibonacci</a>
 									<a class="dropdown-item" href="#lists" onClick="load('lists');">Lists</a>
-									<a class="dropdown-item" href="#freevars" onClick="load('freevars');">Free vars</a>
+									<!--a class="dropdown-item" href="#freevars" onClick="load('freevars');">Free vars</a-->
 									<a class="dropdown-item" href="#ski" onClick="load('ski');">SKI Combinators</a>
 									<!--a class="dropdown-item" href="#cbv"
 		     onClick="load('cbv');">Call by value</a-->