Hindi and Sindhi in resource Make

This commit is contained in:
aarne committed 2012-02-24 10:01:02 +00:00
1 parent 33beca4036
commit 1e06931691
2 files changed
+5 -3

No files matched your search

+1
View File
@@ -32,6 +32,7 @@ resource Predef = {
oper toLower : Tok -> Tok = variants {} ; -- map all chars to lower case
oper show : (P : Type) -> P -> Tok = variants {} ; -- convert param to string
oper read : (P : Type) -> Tok -> P = variants {} ; -- convert string to param
oper eqVal : (P : Type) -> P -> P -> PBool = variants {} ; -- test if equal values
oper toStr : (L : Type) -> L -> Str = variants {} ; -- find the "first" string
oper mapStr : (L : Type) -> (Str -> Str) -> L -> L = variants {} ;
-- map all strings in a data structure; experimental ---