mirror of
https://github.com/GrammaticalFramework/gf-rgl.git
synced 2026-08-24 21:26:23 -06:00
2 lines
47 B
Plaintext
2 lines
47 B
Plaintext
abstract ExtraIceAbs = Extra - [ProDrop] ** {}
|