mirror of
https://github.com/GrammaticalFramework/gf-rgl.git
synced 2026-06-11 16:10:12 -06:00
9 lines
176 B
Plaintext
9 lines
176 B
Plaintext
--# -path=.:../common:../abstract
|
|
|
|
concrete ExtendMay of Extend = CatMay
|
|
-- ** ExtendFunctor - []
|
|
-- with (Grammar=GrammarMay)
|
|
** open Prelude, ResMay, NounMay in {
|
|
|
|
} ;
|