msyds/gf-rgl
1
0
Fork 0
forked from GitHub/gf-rgl
Code Pull Requests Activity

Extend.CardCNCard for 5 million, 5 dozen, etc

Browse Source
This commit is contained in:
aarneranta
2021-07-30 10:11:21 +02:00
parent cb502488d1
commit bd8550b652
5 changed files with 26 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/common/ExtendFunctor.gf
View File

@@ -132,6 +132,12 @@ lin
ExistNPQS t p np = UseQCl t p (QuestCl (ExistNP np)) ;
ExistIPQS t p np = UseQCl t p (ExistIP np) ;
lincat
X = {s : Str} ;
lin
CardCNCard = variants {} ;
oper
quoted : Str -> Str = \s -> "\"" ++ s ++ "\"" ; ---- TODO bind ; move to Prelude?