mirror of
https://github.com/GrammaticalFramework/gf-rgl.git
synced 2026-07-02 12:08:34 -06:00
(Ara) Remove some LTR (U+200E) chars that had been copypasted in error
This commit is contained in:
@@ -12,7 +12,7 @@ flags coding=utf8 ;
|
||||
sun : pattern Str = #("ت"|"ث"|"د"|"ذ"|"ر"|"ز"|"س"|"ش"|"ص"|"ض"|"ط"|"ظ"|"ل"|"ن") ;
|
||||
|
||||
-- Hamza
|
||||
hamza : pattern Str = #("ء"|"؟") ;
|
||||
hamza : pattern Str = #("ء"|"؟") ;
|
||||
|
||||
rectifyHmz: Str -> Str = \word ->
|
||||
case word of {
|
||||
|
||||
Reference in New Issue
Block a user