Skip to content

Commit

Permalink
deploy: f551816
Browse files Browse the repository at this point in the history
  • Loading branch information
gemelen committed Oct 24, 2023
1 parent e9dd7d3 commit ddcaa9c
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion discrete.html
Original file line number Diff line number Diff line change
Expand Up @@ -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@374512c3</span></code></pre>
</span><span class="comment">// intDiscrete: Discrete[Int] = repl.MdocSession$MdocApp$$anon$1@41670a25</span></code></pre>


<hr class="footer-rule"/>
Expand Down

0 comments on commit ddcaa9c

Please sign in to comment.