mirror of
https://github.com/GrammaticalFramework/gf-rgl.git
synced 2026-06-18 07:40:16 -06:00
24 lines
503 B
Plaintext
24 lines
503 B
Plaintext
--# -path=.:../abstract:../common
|
|
|
|
incomplete concrete DocumentationGrcFunctor of Documentation = CatGrc ** open
|
|
Terminology, -- the interface that generates different documentation languages
|
|
ResGrc,
|
|
ParadigmsGrc,
|
|
(G = GrammarGrc),
|
|
(S = SyntaxGrc),
|
|
(L = LexiconGrc),
|
|
Prelude,
|
|
HTML
|
|
in {
|
|
flags coding=utf8 ;
|
|
|
|
|
|
lincat
|
|
Inflection = {t : Str; s1,s2 : Str} ;
|
|
Definition = {s : Str} ;
|
|
Document = {s : Str} ;
|
|
Tag = {s : Str} ;
|
|
|
|
-- partial, stolen from DocumentationGerFunctor.gf, HL
|
|
}
|