idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-19 17:21:59 +03:00
Code Issues Projects Releases Wiki Activity

Update docs/source/reference/operators.rst

Browse Source
This commit is contained in:
André Videla 2024-01-23 19:32:11 +09:00
parent e0f5ee9996
commit c6fbd27c6c
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
docs/source/reference/operators.rst
View File

@ -20,7 +20,7 @@ file namespacing and follow the same rules as other defintions.
Basics
======
Before we jump into the fancy features, let us explain how infix operators work
Before we jump into the fancy features, let us explain how operators work
for most users.
When you see an expression