Add `_⟨$⟩_` operator for Function bundle#2144

MatthewDaggitt merged 1 commit intomasteragda/agda-stdlib:masterfrom

add-function-applicationagda/agda-stdlib:add-function-applicationCopy head branch name to clipboard