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