Skip to content
Jan Bernitt edited this page May 19, 2015 · 13 revisions

are the following aliases for character sets:

-t = [{9}]
-n = [{10}]
-r = [{13}]
-_ = [{0-#7FFFFFFF}]
-s = [{9-13} {32}]

-Z = [{'A'-'Z'}]
-z = [{'a'-'z'}]

-1 = [{'0'-'1'}]
-7 = [{'0'-'7'}]
-9 = [{'0'-'9'}]
-F = [9 {'A'-'F'}]

-apostrophe = [{39}]

(prelude.alma)

Clone this wiki locally