mirror of
https://github.com/GrammaticalFramework/gf-rgl.git
synced 2026-06-07 22:26:33 -06:00
7 lines
167 B
Plaintext
7 lines
167 B
Plaintext
concrete ExtraSwa of ExtraSwaAbs = CatSwa **
|
|
open ResSwa, Coordination, Prelude, MorphoSwa in {
|
|
|
|
lin that1_Quant = {s = \\n,nc,g => mkQuant SpHr n nc g P3} ;
|
|
|
|
}
|