git.iko.soy/Idris-dev
on master help sign in
Merge pull request #2484 from melted/ops
af79c58Niklas Larsson
docs/tutorial/typesfuns.rst+1−1
compare with master
unifiedsplit
@@ -103,7 +103,7 @@ symbols:
103
103
104::
104::
105
105
106− :+-*/=_.?|&><!@$%^~.
106+ :+-*\/=.?|&><!@$%^~#
107
107
108Some operators built from these symbols can't be user defined. These are
108Some operators built from these symbols can't be user defined. These are
109``:``, ``=>``, ``->``, ``<-``, ``=``, ``?=``, ``|``, ``**``,
109``:``, ``=>``, ``->``, ``<-``, ``=``, ``?=``, ``|``, ``**``,