Deploying to gh-pages from @ 63623cf 🚀

stlc.html

@@ -133,7 +133,7 @@ <h1>stlc.html</h1>
 <div class='clause' predicate='coq.reduction.vm.whd_all'><div class='loc'>File "coq-builtin.elpi", line 1547, column 0, character 63029:</div><div class='hyps'><div class='hyp compound' level='60'>coq.warning elpi.deprecated elpi.vm-whd-all use coq.reduction.vm.norm in place of coq.reduction.vm.whd_all,</div><div class='hyp compound'>coq.reduction.vm.norm <span class='name' varname='20'>T</span> <span class='name' varname='21'>TY</span> <span class='name' varname='22'>R</span></div></div><div class='concl'><div class='compound'>coq.reduction.vm.whd_all <span class='name' varname='20'>T</span> <span class='name' varname='21'>TY</span> <span class='name' varname='22'>R</span></div></div></div>
 <div class='clause' predicate='coq.reduction.lazy.whd_all'><div class='loc'>File "coq-builtin.elpi", line 1554, column 0, character 63263:</div><div class='hyps'><div class='compound'>get-option coq:redflags coq.redflags.all&nbsp;<b>⇒</b>&nbsp;</div><div class='compound'>coq.reduction.lazy.whd <span class='name' varname='23'>X</span> <span class='name' varname='24'>Y</span></div></div><div class='concl'><div class='compound'>coq.reduction.lazy.whd_all <span class='name' varname='23'>X</span> <span class='name' varname='24'>Y</span></div></div></div>
 <div class='clause' predicate='coq.id->name'><div class='loc'>File "coq-builtin.elpi", line 1671, column 0, character 67774:</div><div class='hyps'>coq.string-&gt;name <span class='name' varname='25'>S</span> <span class='name' varname='26'>N</span></div><div class='concl'><div class='compound'>coq.id-&gt;name <span class='name' varname='25'>S</span> <span class='name' varname='26'>N</span></div></div></div>
-<div class='clause' predicate='coq.elpi.accumulate'><div class='loc'>File "coq-builtin.elpi", line 1772, column 0, character 71520:</div><div class='hyps'>coq.elpi.accumulate-clauses <span class='name' varname='27'>S</span> <span class='name' varname='28'>N</span> <div class='compound' level='99'><b>[</b><div class='compound'><span class='name' varname='29'>C</span></div><b>]</b></div></div><div class='concl'><div class='compound'>coq.elpi.accumulate <span class='name' varname='27'>S</span> <span class='name' varname='28'>N</span> <span class='name' varname='29'>C</span></div></div></div>
+<div class='clause' predicate='coq.elpi.accumulate'><div class='loc'>File "coq-builtin.elpi", line 1773, column 0, character 71548:</div><div class='hyps'>coq.elpi.accumulate-clauses <span class='name' varname='27'>S</span> <span class='name' varname='28'>N</span> <div class='compound' level='99'><b>[</b><div class='compound'><span class='name' varname='29'>C</span></div><b>]</b></div></div><div class='concl'><div class='compound'>coq.elpi.accumulate <span class='name' varname='27'>S</span> <span class='name' varname='28'>N</span> <span class='name' varname='29'>C</span></div></div></div>
 <div class='clause' predicate='true'><div class='loc'>File "elpi-builtin.elpi", line 9, column 0, character 89:</div><div class='hyps'><div class='hyp'></div></div><div class='concl'>true</div></div>
 <div class='clause' predicate=';'><div class='loc'>File "elpi-builtin.elpi", line 28, column 0, character 296:</div><div class='hyps'><span class='name' varname='30'>A</span></div><div class='concl'><div class='compound'><div class='compound'>(<span class='name' varname='30'>A</span>&nbsp;;&nbsp;</div><div class='compound'>_)</div></div></div></div>
 <div class='clause' predicate=';'><div class='loc'>File "elpi-builtin.elpi", line 30, column 0, character 311:</div><div class='hyps'><span class='name' varname='31'>B</span></div><div class='concl'><div class='compound'><div class='compound'>(_&nbsp;;&nbsp;</div><div class='compound'><span class='name' varname='31'>B</span>)</div></div></div></div>