mirror of
https://github.com/GrammaticalFramework/gf-rgl.git
synced 2026-07-02 20:18:33 -06:00
Merge branch 'master' into master
This commit is contained in:
@@ -12,7 +12,9 @@ resource CommonBantu = ParamX ** open Prelude in {
|
||||
|
||||
param
|
||||
Case = Nom | Loc ;
|
||||
|
||||
NPCase = NCase Case | NPoss ;
|
||||
|
||||
CardOrd = NCard | NOrd ;
|
||||
|
||||
oper
|
||||
|
||||
Reference in New Issue
Block a user