mirror of
https://github.com/GrammaticalFramework/gf-rgl.git
synced 2026-07-01 03:28:34 -06:00
Inari Listenmaa
5 lines
81 B
Plaintext
5 lines
81 B
Plaintext
concrete NumeralSwa of Numeral = CatSwa [Numeral,Digits] ** open ResSwa in {
|
|
|
|
|
|
}
|