1
0
forked from GitHub/gf-rgl

Merge pull request #61 from odanoburu/patch-3

(Common) not all cats are linearized to SS
This commit is contained in:
Inari Listenmaa
2018-11-01 15:47:55 +01:00
committed by GitHub

View File

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