Open alexchandel opened 1 year ago
Could you document a list of available operators in Idris (including the Prelude)? Like $, <+>, etc. I can't find any list in this repo or wiki.
$
<+>
Could you document a list of available operators in Idris (including the Prelude)? Like
$,<+>, etc. I can't find any list in this repo or wiki.