deploy: af22eb2

gemelen · gemelen · commit 000d6ce93bc2 · 2025-03-04T16:12:48.000Z
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@5bb7aade</span></code></pre>
+</span><span class="comment">// intDiscrete: Discrete[Int] = repl.MdocSession$MdocApp$$anon$1@3e408386</span></code></pre>
 
         
 <hr class="footer-rule"/>

Original file line number	Diff line number	Diff line change
`@@ -130,7 +130,7 @@ <h1 id="discrete" class="title">Discrete</h1>`
`130`	`130`	`</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>`
`131`	`131`	`</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>`
`132`	`132`	`}`
`133`		`-</span><span class="comment">// intDiscrete: Discrete[Int] = repl.MdocSession$MdocApp$$anon$1@5bb7aade</span></code></pre>`
	`133`	`+</span><span class="comment">// intDiscrete: Discrete[Int] = repl.MdocSession$MdocApp$$anon$1@3e408386</span></code></pre>`
`134`	`134`
`135`	`135`
`136`	`136`	`<hr class="footer-rule"/>`