git.iko.soy/Idris-dev
on master help sign in
Unescape '\' in list of non–user-definable symbols
c4faa92Jeremy W. Sherman
docs/tutorial/typesfuns.rst+1−1
compare with master
unifiedsplit
@@ -107,7 +107,7 @@ symbols:
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``:``, ``=>``, ``->``, ``<-``, ``=``, ``?=``, ``|``, ``**``,
110−``==>``, ``\\``, ``%``, ``~``, ``?``, and ``!``.
110+``==>``, ``\``, ``%``, ``~``, ``?``, and ``!``.
111
111
112Functions
112Functions
113=========
113=========