summaryrefslogtreecommitdiff
path: root/grammars/numerals/ResDecimal.gf
diff options
context:
space:
mode:
authoraarne <unknown>2003-10-09 16:11:22 +0000
committeraarne <unknown>2003-10-09 16:11:22 +0000
commitce253baf15f9df5e95d0402ccddf5cc25c0736c0 (patch)
tree41936cc6df42f436974259bcc88e3c8f96144a29 /grammars/numerals/ResDecimal.gf
parent2ee936c7e23bd690b05b8362179911a2d176f150 (diff)
Experimenting with transfer.
Diffstat (limited to 'grammars/numerals/ResDecimal.gf')
-rw-r--r--grammars/numerals/ResDecimal.gf7
1 files changed, 7 insertions, 0 deletions
diff --git a/grammars/numerals/ResDecimal.gf b/grammars/numerals/ResDecimal.gf
new file mode 100644
index 000000000..4b04cb921
--- /dev/null
+++ b/grammars/numerals/ResDecimal.gf
@@ -0,0 +1,7 @@
+resource ResDecimal = {
+
+param Zeros = noz | zz ;
+
+oper ss : Str -> {s : Str} = \s -> {s = s} ;
+oper mkz : Str -> {s : Zeros => Str} = \s -> {s = table {_ => s}} ;
+}