Deploying to gh-pages from @ b2ab2fa 🚀

Author: andreasabel

Agda.Builtin.Reflection.html

@@ -34,5 +34,5 @@
 <a id="1231" class="Symbol">{-#</a> <a id="1235" class="Keyword">COMPILE</a> <a id="1243" class="Keyword">JS</a> <a id="1246" href="Agda.Builtin.String.html#585" class="Primitive">primStringEquality</a> <a id="1265" class="Pragma">=</a> <a id="1267" class="Pragma">function(x)</a> <a id="1279" class="Pragma">{</a> <a id="1281" class="Pragma">return</a> <a id="1288" class="Pragma">function(y)</a> <a id="1300" class="Pragma">{</a> <a id="1302" class="Pragma">return</a> <a id="1309" class="Pragma">x===y;</a> <a id="1316" class="Pragma">};</a> <a id="1319" class="Pragma">}</a> <a id="1321" class="Symbol">#-}</a>
 <a id="1325" class="Symbol">{-#</a> <a id="1329" class="Keyword">COMPILE</a> <a id="1337" class="Keyword">JS</a> <a id="1340" href="Agda.Builtin.String.html#631" class="Primitive">primShowChar</a> <a id="1353" class="Pragma">=</a> <a id="1355" class="Pragma">function(x)</a> <a id="1367" class="Pragma">{</a> <a id="1369" class="Pragma">return</a> <a id="1376" class="Pragma">JSON.stringify(x);</a> <a id="1395" class="Pragma">}</a> <a id="1397" class="Symbol">#-}</a>
 <a id="1401" class="Symbol">{-#</a> <a id="1405" class="Keyword">COMPILE</a> <a id="1413" class="Keyword">JS</a> <a id="1416" href="Agda.Builtin.String.html#668" class="Primitive">primShowString</a> <a id="1431" class="Pragma">=</a> <a id="1433" class="Pragma">function(x)</a> <a id="1445" class="Pragma">{</a> <a id="1447" class="Pragma">return</a> <a id="1454" class="Pragma">JSON.stringify(x);</a> <a id="1473" class="Pragma">}</a> <a id="1475" class="Symbol">#-}</a>
-<a id="1479" class="Symbol">{-#</a> <a id="1483" class="Keyword">COMPILE</a> <a id="1491" class="Keyword">JS</a> <a id="1494" href="Agda.Builtin.String.html#707" class="Primitive">primShowNat</a> <a id="1506" class="Pragma">=</a> <a id="1508" class="Pragma">function(x)</a> <a id="1520" class="Pragma">{</a> <a id="1522" class="Pragma">return</a> <a id="1529" class="Pragma">JSON.stringify(x);</a> <a id="1548" class="Pragma">}</a> <a id="1550" class="Symbol">#-}</a>
+<a id="1479" class="Symbol">{-#</a> <a id="1483" class="Keyword">COMPILE</a> <a id="1491" class="Keyword">JS</a> <a id="1494" href="Agda.Builtin.String.html#707" class="Primitive">primShowNat</a> <a id="1506" class="Pragma">=</a> <a id="1508" class="Pragma">function(x)</a> <a id="1520" class="Pragma">{</a> <a id="1522" class="Pragma">return</a> <a id="1529" class="Pragma">x.toString();</a> <a id="1543" class="Pragma">}</a> <a id="1545" class="Symbol">#-}</a>
 </pre></body></html>