1
0
forked from GitHub/gf-rgl

(Common) not all cats are linearized to SS

see `CAdv`, for instance.
This commit is contained in:
bruno cuconato
2018-11-01 14:24:20 +00:00
committed by GitHub
parent 204d26a919
commit da129e40ef

View File

@@ -1,7 +1,7 @@
--1 Common: Structures with Common Implementations. --1 Common: Structures with Common Implementations.
-- This module defines the categories that uniformly have the -- This module defines the categories that uniformly have the same
-- linearization type ${s:Str}$ in all languages. -- linearization type (usually ${s:Str}$) in all languages.
abstract Common = { abstract Common = {