List available operators
alexchandel opened this issue · 0 comments
alexchandel commented
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.
alexchandel opened this issue · 0 comments
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.