Files
gf-rgl/next-resource/api/SyntaxIta.gf
T

5 lines
116 B
Plaintext

--# -path=.:alltenses:prelude
instance SyntaxIta of Syntax = ConstructorsIta, CatIta, StructuralIta, NumeralIta ;