We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
++ dec :: decrement ~/ %dec |= a=@ ~| %decrement-underflow ^- @ ?< =(0 a) =+ b=@ |- ?: =(a +(b)) b $(b +(b))
Parts of this document are generated automatically. Edits within the comments section will be preserved.