summaryrefslogtreecommitdiff
path: root/next-lib/src/russian/DiffRus.gf
diff options
context:
space:
mode:
Diffstat (limited to 'next-lib/src/russian/DiffRus.gf')
-rw-r--r--next-lib/src/russian/DiffRus.gf17
1 files changed, 0 insertions, 17 deletions
diff --git a/next-lib/src/russian/DiffRus.gf b/next-lib/src/russian/DiffRus.gf
deleted file mode 100644
index a1d2dafff..000000000
--- a/next-lib/src/russian/DiffRus.gf
+++ /dev/null
@@ -1,17 +0,0 @@
-instance DiffRus of DiffSlavic = open CommonSlavic, Prelude in {
-
- param
- PrepKind = PrepOther | PrepVNa;
- Case = Nom | Gen | Dat | Acc | Inst | Prepos PrepKind ;
-
- NForm = NF Number Case ;
-
- PronGen = PGen Gender | PNoGen ;
-
- oper
- Agr = {n : Number; p : Person; g : PronGen} ;
-
- agrP3 : Number -> PronGen -> Agr = \n,g ->
- {n = n; p = P3; g = g} ;
-
-} \ No newline at end of file