deploy: 39da58b

typelevel · Sep 26, 2024 · 9a07801 · 9a07801
1 parent 74b5b3d
commit 9a07801
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/discrete.html b/discrete.html
@@ -130,7 +130,7 @@ <h1 id="discrete" class="title">Discrete</h1>
   </span><span class="keyword">override</span><span> </span><span class="keyword">def</span><span> </span><span class="declaration-name">succ</span><span>(</span><span class="identifier">x</span><span>: </span><span class="type-name">Int</span><span>): </span><span class="type-name">Int</span><span> = </span><span class="identifier">x</span><span> + </span><span class="number-literal">1</span><span>
   </span><span class="keyword">override</span><span> </span><span class="keyword">def</span><span> </span><span class="declaration-name">pred</span><span>(</span><span class="identifier">x</span><span>: </span><span class="type-name">Int</span><span>): </span><span class="type-name">Int</span><span> = </span><span class="identifier">x</span><span> - </span><span class="number-literal">1</span><span>
 }
-</span><span class="comment">// intDiscrete: Discrete[Int] = repl.MdocSession$MdocApp$$anon$1@67b3a6d6</span></code></pre>
+</span><span class="comment">// intDiscrete: Discrete[Int] = repl.MdocSession$MdocApp$$anon$1@4ff32aab</span></code></pre>
 
 
 <hr class="footer-rule"/>