Files
gf-core/examples/attempto/SymbolsC.gf

9 lines
114 B
Plaintext

concrete SymbolsC of Symbols = open Prelude in {
lincat Var = SS ;
lin X_Var = ss "X" ;
lin Y_Var = ss "Y" ;
}