idris2-tutorial icon indicating copy to clipboard operation
idris2-tutorial copied to clipboard

Published 20 hours ago • verified publisher icon stefan-hoeck

[ doc ] Explain function application in the presence of infix operators

Open stefan-hoeck opened this issue 2 years ago • 1 comments

stefan-hoeck avatar Mar 15 '22 10:03 stefan-hoeck

Hi,

Why would I want to use function application in the presence of infix operators?

jgarte avatar May 18 '24 14:05 jgarte