mirror of
https://github.com/GrammaticalFramework/comp-syntax-gu-mlt.git
synced 2026-05-09 09:12:51 -06:00
14 lines
262 B
Plaintext
14 lines
262 B
Plaintext
resource MicroResKor = open Prelude in {
|
|
param
|
|
Regularity = Regular | PieupIrregular ;
|
|
VerbType = Action | Descriptive ;
|
|
|
|
oper
|
|
Noun : Type = {s : Str} ;
|
|
Verb : Type = {
|
|
reg : Regularity ;
|
|
stem : Str ;
|
|
t : VerbType
|
|
}
|
|
}
|