Regex literal in Frege

Question

Что такое код юникода для серьезного знака акцента, используемый для указания литерала регулярного выражения в Frege?

Answer 1

Характер называется Острый акцент и юникод для этого 00B4. В убунту, вы можете ввести, что с помощью Ctrl + SHIFT + ˙U, а затем введите 00B4 затем пространство. Однако вам не нужно использовать это, если ваш литерал регулярного выражения больше одного символа, и в этом случае вы можете просто использовать апострофы.

Цитируя doc:

Regular expression literals have type Regex and are written: 

´\b(foo|bar)\b´  -- string enclosed in grave accents 
'\w+'     -- string with length > 1 enclosed in apostrophes 
The notation with the apostrophes has been introduced because many have a hard time entering a grave accent mark on their terminal. However, it is not possible to write a regular expressions with length 1 this way, because then the literal gets interpreted as Char literal. (One can write something like '(?:X)' for a Regex that matches a single 'X').