YAS directory languages/EGTL
GitHub
https://github.com/softlang/yas/tree/master/languages/EGTL
Properties
None
Components
- languages/EGTL/cs.egl (Context-free grammar)
- languages/EGTL/ls.egl (Context-free grammar)
- languages/EGTL/as.esl (Algebraic signature)
- languages/EGTL/.hinzu (Annotation)
- languages/EGTL/README.md (Markup)
- languages/EGTL/egtlAbstract.pro (Logic program)
- languages/EGTL/egtlExtension.pro (Logic program)
- languages/EGTL/egtlGeq.pro (Logic program)
- languages/EGTL/egtlInterpret.pro (Logic program)
- languages/EGTL/.ueber (Megamodel)