We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Example:
(Hold a b) = (λx(b) a) (Copy v f) = (f v v) Main = (Hold (Copy 5 λ$aλ$b(0)) $a)
On HVM1, it outputs <era>. The correct answer (as printed on Bend) is 5.
<era>