forked from GitHub/gf-rgl
5 lines
64 B
Plaintext
5 lines
64 B
Plaintext
concrete NumeralSwa of Numeral = CatSwa ** open ResSwa in {
|
|
|
|
|
|
}
|