Content deleted Content added
m →An example: Maybe: fix comma splice |
Ancheta Wis (talk | contribs) →Sample adjunct supposition: +anchor |
||
Line 545:
=== Program logging ===
The following code is pseudocode. {{anchor|Sample adjunct supposition}}Suppose we have two functions <code>foo</code> and <code>bar</code>, with types
<syntaxhighlight lang="haskell">
foo : int -> int
| |||