mirror of
https://github.com/GrammaticalFramework/gf-rgl.git
synced 2026-09-22 18:26:13 -06:00
6 lines
102 B
Plaintext
6 lines
102 B
Plaintext
--# -path=.:../abstract:../common:../prelude
|
|
|
|
concrete AllTel of AllTelAbs =
|
|
LangTel,
|
|
ExtendTel ;
|