Merge remote-tracking branch 'remotes/upstream/master'

This commit is contained in:
Ayberk Tosun committed 2017-08-21 16:28:10 +03:00
commit f19459929c
2 files changed
+2 -2

No files matched your search

+1 -1
View File
@@ -10,7 +10,7 @@ resource ResTur = ParamX ** open Prelude, Predef, HarmonyTur in {
param
Case = Nom | Acc | Dat | Gen | Loc | Ablat | Abess Polarity ;
Species = Indef | Def ;
Contiguity = Con | Sep ; --Concatanate or Separate
Contiguity = Con | Sep ; --Concatenate or Separate
oper
Agr = {n : Number ; p : Person} ;